Batteries degrade, you know.

Yes, which is why they are replacable, and Hyundai is bound by law to keep making batteries for OP's Kona for a good while even after the production stops.

Unfortunately Hyundai is not required by law to keep making batteries. They are only legally required to provide for warranty support for up to 10 years after a car is made. Usually that means you keep making parts, but I'm not sure how this works with EVs.

But the window is 10 years. After that, you rely on market forces -- if there is a profit to be made from making the part, then it is made. Heavily cars rely on aftermarket parts, but the question of a battery is a bit different.

Again, we need open source cars, with open source designs, so that batteries can be repaired, upgraded, and replaced by an aftermarket. I keep pushing this and hope I'm not being tedious, but people are underestimating the risk to the consumer.

I personally like to avoid the “writing in C++” experience. :/

The authors of a powerful solver package thought differently.

The authors of a powerful solver package were solving a different problem than the users of a powerful solver package, and so different tools may be appropriate.

It might have more to do with the first release of Z3 being in 2012, with the first stable Rust release being in 2015. Rather than the authors of Z3 passing some kind of judgment on Rust…

Z3 uses a sophisticated and fast garbage collection scheme internally that doesn't mesh well with Rust idioms.

It's reference-counted at the boundaries. See https://github.com/Z3Prover/z3/blob/daf2506b6002149d531cb6c9...

He got ill and died after he'd come to England though.

He died in India.

I think abusing a write-off electron microscope to side step the need for masks is also an interesting idea, however, I believe acquiring wafers of sufficient quality and depositing layers to be etched could be the bigger challenge here.

Hold on, if I had an electron microscope, can I just put in a decapped cheap large format photodiode under it, jack the beam current way up, and start etching trenches on it?

I don't think so: it's a microscope, not a synchrotron. :D

I meant "drawing" on a photoresist layer with a SEM and then wet-etching it. Also all silicon in a photodiode is doped, so the etched parts would be of little use, I believe.

And the clean environment as a whole. That's a massive investment and there are a million ways to mess that up.

> however, I believe acquiring wafers of sufficient quality and depositing layers to be etched could be the bigger challenge here

Definitely hard for a home fab but how about a community fab? Not necessarily a geographic community.

There's this guy doing clean room in a shed on YouTube: https://www.youtube.com/@Dr.Semiconductor

for making research grade devices you barely need a cleanroom

wafers are the easy bit.

Electro-optic modulators already exist — still no StarTrek. :(

I’m not sure what the GP is thinking, but I would love a cheap-ish exabyte storage even if it takes a month to read fully. Damn, I’d gladly take it even if the speed is comparable to an SSD! (Though the price would be a question of course.)

What do you mean “we don’t have flying cars”? What are helicopters then?

Deathmachines that in their mechanical hubris angered the gods?

I think the confusion stems from the fact that we call a database what is really a database management system.

I'd just like to interject for a moment. What you're refering to as a database, is in fact a database management system, or as I've recently taken to calling it, database plus management system.

You confuse the raw fist with the master who calculates the shortest path to your destruction.

> Sheffield also collapsed fairly dramatically with the loss of the steel industry

Nah, Sheffield is supported by their main export — Doctor Who’s companions. :D