When did computer science theory get so hard?
I posted on When did Math get so hard? a commenter pointed out that one can also ask When did Computer Science Theory Get so Hard? For t...
Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gasarch
Visit blog.computationalcomplexity.org → RSS feedOn Hacker News Nov 2009 – Mar 2026
Math & Algorithms 7Software Engineering 6Science & Space 3History & Retro Computing 2
I posted on When did Math get so hard? a commenter pointed out that one can also ask When did Computer Science Theory Get so Hard? For t...
Scientific American writes about rescuing the enormous theorem (classification of finite simple groups) before the proof vanishes. How can...
David Zuckerman The 2025 Gödel Prize has been awarded to Eshan Chattopadhyay and David Zuckerman for their paper Explicit two-source extrac...