Meme: The dog doesn't bite, but almost every problem is unsolvable by any program
miniapeur · x · 2026-10-23
A four-panel 'does your dog bite' comic whose punchline is computability theory: the dog doesn't bite, 'but it can hurt you in other ways' — because almost every problem is unsolvable by any program (a popularized nod to Rice's theorem and undecidability).
More from Fun
- God rewrote the universe in Rust — and a 19yo with an anime avatar corrected His borrow checker — CtrlAltDwayne · 2026-10-23
- Local LLM benchmark drama: unrepeatable scores spark call for AIPerf standard — TheZachMueller · 2026-10-23
- Meme: New Haskell programmers grapple with Monads while category theorists keep a whole cabinet of higher abstractions — miniapeur · 2026-10-23
- Meme: 'Homotopical taboos' — even uniqueness of identity proofs is off-limits in HoTT — miniapeur · 2026-10-23
- Meme: Equality from classical logic and Martin-Löf to univalence to JavaScript's [undefined]==0 — miniapeur · 2026-10-23
- Meme: Analytic philosophy and type theory shake hands while continental philosophy screeches — miniapeur · 2026-10-23