You need much less memory than time(blog.computationalcomplexity.org)

94 points by jonbaer 1 year ago | 11 comments

Because it doesn't have to(blog.computationalcomplexity.org)

66 points by zdw 6 months ago | 13 comments

Assigning Open Problems in Class(blog.computationalcomplexity.org)

17 points by baruchel 8 months ago | 5 comments

The new Gödel Prize winner tastes great and is less filling(blog.computationalcomplexity.org)

95 points by baruchel 1 year ago | 30 comments

Where do journals go to die?(blog.computationalcomplexity.org)

66 points by zdw 2 years ago | 20 comments

Where do non-primitive recursive functions come up naturally?(blog.computationalcomplexity.org)

38 points by furcyd 2 years ago | 35 comments

Richard Sutton and Andrew Barto Win 2024 Turing Award(awards.acm.org)

485 points by camlinke 1 year ago | 101 comments

ACM announcement naming Andrew Barto and Richard Sutton recipients of the 2024 A.M. Turing Award for foundational work in reinforcement learning.

Turing Complete is a game about computer science(turingcomplete.game)

366 points by thunderbong 2 years ago | 102 comments

The website for Turing Complete, a game about building a computer from logic gates, which returned a 502 Bad Gateway error when captured.

AI Makes Me Sad(mondobe.com)

121 points by mondobe 24 days ago | 120 comments

A personal blog essay in which the author describes feeling sadness and hopelessness about new developments in AI, despite being positioned to benefit from it.

With fifth busy beaver, researchers approach computation's limits(quantamagazine.org)

496 points by LegionMammal978 2 years ago | 127 comments

Quanta Magazine article on how a collaborative team of amateur programmers proved the value of the fifth busy beaver number, BB(5).

A mathematician reads the AI future(theatlantic.com)

44 points by artninja1988 1 day ago | 67 comments

An Atlantic essay by Cornell mathematician Steven Strogatz reflecting on AI's impact on mathematics after OpenAI's claimed Navier-Stokes solution in 2026.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 467 comments

Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.