4 stories tagged theoretical-computer-science, newest first.
609 points by milkshakes | 892 comments
OpenAI publication page announcing ten advances in mathematics and theoretical computer science, with links to the paper and reasoning walkthroughs.
373 points by milkshakes | 252 comments
OpenAI page about ten advances in mathematics and theoretical computer science; it loaded only a Cloudflare verification challenge.
![Screenshot of cse.buffalo.edu: Essential Coding Theory [pdf]](https://hn.urlbox.com/shots/renders/2025/8/29/234dc011-71ad-4f38-8874-30d2ceb5edf2.jpg)
355 points by ibobev | 59 comments
PDF of the textbook "Essential Coding Theory" by Venkatesan Guruswami, Atri Rudra, and Madhu Sudan, dated August 26, 2025.
496 points by LegionMammal978 | 127 comments
Quanta Magazine article on how a collaborative team of amateur programmers proved the value of the fifth busy beaver number, BB(5).