'NIMDC — not in my deductive closure': engineer jokes about wanting complexity theory redone
zetalyrae · x · 2026-10-28
zetalyrae quips that we need an alternative axiomatization of complexity theory without its ugly results, coining NIMDC (Not In My Deductive Closure) — a jab at how researchers react to theorems they dislike, riffing on recent chatter about an internal model allegedly disproving the Exponential Time Hypothesis.
More from Fun
- Founder warns Claude's 'moral policing' turns privacy policies into legal liabilities — StewartalsopIII · 2026-10-28
- One-line Tekken-style prompt in HeyGen Video yields ad-grade 2K fight footage — aziz4ai · 2026-10-28
- Explaining 2026 to my 2022 self: developers no longer read or write code — JnBrymn · 2026-10-28
- Teenage Engineering stops making synths — App Studio lets you build your own — c_valenzuelab · 2026-10-28
- Engineer compares working with AI agents to being married — yawnxyz · 2026-10-28
- Stunning AI-generated concept art casts goddess Sekhmet walking a post-apocalyptic wasteland — DionysianAgent · 2026-10-28