Philosophy of Coroutines(chiark.greenend.org.uk)
152 points by Tomte | 49 comments
First screen, captured .
Looks similar
OpenSSH versus SSH(utcc.utoronto.ca)
171 points by ingve | 82 comments
Borehole Oscillators(gregegan.net)
36 points by sohkamyung | 10 comments
Steffen's Polyhedron(gregegan.net)
56 points by pavel_lishin | 5 comments
Why Haskell?(gtf.io)
387 points by mesaoptimizer | 533 comments
A long personal essay arguing why Haskell is a practical, productive language for building real software like web servers, covering fewer mistakes and easier reasoning.
Related stories
Quality non-fiction books are the antithesis of AI slop(resobscura.substack.com)
463 points by benbreen | 222 comments
Benjamin Breen's Res Obscura essay arguing quality non-fiction books counter AI slop, introducing a vibe-coded tool indexing prize-winning books.
Why xor eax, eax?(xania.org)
518 points by hasheddan | 189 comments
Matt Godbolt's blog post explaining why compilers emit xor eax, eax to zero a register on x86 and why it is among the most executed instructions.
The Mathocalypse(scottaaronson.blog)
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
On the Nature of Time(writings.stephenwolfram.com)
326 points by iamwil | 221 comments
Stephen Wolfram essay arguing that time is best understood computationally, as the progressive application of computational rules by the universe.
Artificial intelligence is losing hype(economist.com)
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
Alonzo Church: Architect of computer intelligence(onepercentrule.substack.com)
318 points by drcwpl | 81 comments
A Substack essay profiling logician Alonzo Church and his solution to the Entscheidungsproblem as a foundational contribution to computer science.