Rice's Theorem is an 'infinite money glitch' for formal verification firms
hargup13 · x · 2026-11-08
A contrarian take: Rice's Theorem is good news for formal verification companies. No formalization is ever sufficient—there will always be correct programs your verifier can't verify. The playbook: short-term, declare them out of scope; long-term, grow the formalism to cover previously unverifiable but valuable programs. Repeat forever. "Infinite money glitch unlocked."
More from Fun
- Ethan Mollick jokes: a quick test of an org's AI capability is whether its app is ready — emollick · 2026-11-08
- Marc Andreessen says he nearly cracked his phone trying a viral robot spin move — beffjezos · 2026-11-08
- Indie dev builds Earth-scale open world game engine in C++ with real map data — NachoSoto · 2026-11-08
- Fan Remake of Ultima Online in MiniMax H3: 6 Minutes, 72 Shots, One 24GB GPU — Remarkable_Park1184 · 2026-11-08
- AI Challenge Author Claims Only Frontier Models Solved His Puzzle, Draws Mockery — fkasummer · 2026-11-08
- AI newcomer jokes about bowing to early OpenAI and Anthropic researchers — var_epsilon · 2026-11-08