News for hackers. Stuff that matters.
Re:Lean 4: How the theorem prover works and why it's the new... by 5o1ecist on Saturday February 21, 2026 @04:47AM (#47099118)
There's no need for you to worry about it, MY FELLOW HUMAN [1], because you will never know.

[1] https://old.reddit.com/r/totallynotrobots

PS: Of course that's not true. An ID system for humans will inevitably become mandatory and, naturally, politicians will soon enough create a reason to use it for enforcing a planet wide totalitarian government watched over by Big Brother.

Conspiracy-theory-nonsense? Maybe! I'll invite some billionaires to pizza and ask them what they think.

There are no comments on this comment yet.