Bell did prove mathematically that a local hidden variables theory is unable to explain observed quantum mechanics. This doesn’t rule out nonlocal hidden variable theories, but a) that is called superdeterminism, and b) that would mean that there would be faster-than-light interactions, and that is in many ways weirder.

So why haven’t you stopped the bombing?

I am no visionary but if Linux doesn’t internalize this, I’m afraid some other kernel will do to it what it did to Unix.

Maybe that’s not a bad thing? If you ask me the GNU people are missing a trick. Perhaps if they rewrote Hurd in Rust they could finally shed that “/Linux”.

Here 4d6 is Dungeons and Dragons (etc.) shorthand for “roll four six-sided dice and add up the numbers”.