I was curious what Conne's rigidity conjecture was and the first two entries Google found me are a paper claiming to disprove the OpenAI proof. I don't know nearly enough to verify either one, but I don't think this is fully settled yet.

No, but I am assuming that their different implementations probably have about the same number of vulnerabilities to start with. You're right that with closed source my fix probably wouldn't help you directly, but it's still the case that you and I each have a vulnerability to fix, instead of you being able to take my fix and use it without effort.

But if it's open source, once one person has fixed it, it's fixed. Closed source means everyone has to fix it individually.

As a Tron prequel, if I recall...

*sigh* Another from around 5k to 100 years ago

The last ice age has been retreating for the last 20k years. There was a bit of a cooling period from 13,500 to 12,500 years ago, and another form but nothing like a real ice age.

First Agilent spun off with the medical stuff, and probably other general stuff (signal generators, for example). Then what was left split into Hewlett-Packard for consumer stuff (printers, laptops, etc) and HP Enterprise (for datacenter gear). Haven't paid a lot of attention since 2020; they may have split again for all I know.

that's going to take _forever_ to scan for corruption

The outdoor handles being flush are getting conflated with the indoor handles not working without power (hi, Tesla) which has resulted in a couple of cases of people not being able to get out of a burning vehicle (there's a mechanical emergency system, but it is not obvious if you didn't read that part of the manual and in an emergency is not the time to be searching for it).

As I recall they've announced that they're pretty much done with hardware and moving to streaming games. Not surprising folks aren't buying the expensive box when they can get an Amazon Fire Stick instead.

I got mine with just the passport and a bill showing my address. What state were you in?

I think in this case since it was only one region we can fall back to "you shouldn't outsource anything significantly important without the multi-region failover plan"

Correction: _determining_ the category (accurately) is impossible. _deciding_ is all too easy.

"being unhealthy is okay" is not a good message, but "you don't have to feel like shit because your health issues make you heavier" shouldn't be controversial. Unfortunately deciding what category someone is in by eyesight is nigh impossible.

at least working at home you can take the time you're not commuting and do something else

how many folks actually do so, I do not know