391
Dutch computer museums (2022)
Photos from three very different computer museums in the Netherlands
New
The latest blog posts to take off on Hacker News. 49,174 posts.
392
The Four Horsemen of Agentic Coding
Slop, Alienation, Deskilling, and Team Fallout
393
AI Makes Me Sad
Maybe it's because I'm writing this at 2:00 AM, which is about the only time I let myself experience sadness for a prolonged period of time, but every time I see a post on Twitter or LinkedIn about a new development in AI, I feel a sense of hopelessness.
394
The Forgetful CPU (Linux on M4)
This blog post goes into quite some detail about how I first booted Linux on my M4 Mac mini. I encourage you to look up terms and concepts you don’t know, since I cannot explain all the background in this post ;)
395
How Singapore's government-run dating service works
Here are the 30+ questions in the matchmaking tool that Singapore is deploying on government workers.
396
The death of web development education
Rescuing a field from disappearing
397
Using Opus 5.5 to discover a new eyewitness record of the dodo
Frontier models can now produce novel historical knowledge, but in a really weird way
398
Loss of cell identity drives human aging: Two new papers
That’s What Biological (Epigenetic) Aging Clocks Are Measuring
399
Pi 1.0
Today we are shipping Pi 1.0, a hardened, minimal, extensible agent harness, alongside Pi Durable, a new experimental substrate for long-running agentic applications.
400
Pi Durable
Pi Durable is a new experimental package for long-running, durable, and malleable agents that can run anywhere. A tour of what we built and why.
401
Anatomy of a Lean proof for software engineers
Intro I recently worked through a problem from a theory of computation textbook that asked me to prove a property of a language using finite automata. The informal proof is a simple constructive proof where you build an automaton and show that it recognizes the language. This is kind of similar to program…
402
Vote on which of Hacker News' challenges for AI have been met
AI plays well at complex strategy games with uncertainty and incomplete information.
403
Turbo Haskell
Exactly a week ago (as a joke), I started writing THC, my “Turbo Haskell compiler,” while on vacation visiting Bartosz Milewski.
404
How to speed up the Rust compiler in September 2026
My last post on the Rust compiler’s performance was two months ago and a lot has happened since then.
405
To grieve, or not to grieve?
Recent events in the field of AI for mathematics have shown us beyond all reasonable doubt that the field is currently undergoing a rapid transformation, unlike anything that we have ever seen befo…
406
407
CS240 AI Cheating Retrospective
Jeff Turkstra's personal website. Contains photographs, memoirs, TI-86 & TI-89 programs/games, quotes, MIDI's, SeaQuest images, links, and more!
408
Dear Software Makers
Marques Brownlee just released a video essay titled “Dear YouTube” . I loved it. He talks about how YouTube is going to start shipping this new feature where…
409
Before pixels: Modular industrial dashboards
A blog about software craft and quality
410
Commit description as a thinking tool
Before the AI era, I wrote pretty long commit descriptions (or commit bodies) for major changes. It took me about five to ten minutes to draft and reread them to make sure I didn’t miss anything important. I did that for several reasons.
411
The AI Race Just Got Awkward
Funny how quiet everyone got.
412
cp: -r or -R?
A question like this recently came up again. I once tried to find an answer, but only posted it in some "forum" a decade ago, and I think it's worth saving this little bit of trivia from digital nirvana.
413
What TLA+ can and can't check
Let's chill just a little bit on the "TLA+ will save AI from itself" narrative
414
Your body of work thinks back at you
I’ve been taking photos of benches for years. Sometimes on purpose because I find them intriguing and I have an thing for objects designed for people but without anybody using them, sometimes just because they were there next to my subject. Last year, looking at these photographs, I noticed something I didn’t know…
415
The last time my family was replaced by technology
My great-great-grandfather thought he’d be replaced by technology too. He was a farrier in Mandres-en-Barrois, the small village in rural France where I grew up.
416
You said no MCP
Pi now supports MCP. Why we changed our minds, what changed in MCP and in Pi, and what Codemode is.
417
September 2026: The world today, as seen by one Polish guy
How a Pole sees the world in September 2026: a scrolling essay that follows one closed strait into fuel, food, bonds, defence and demography.
418
LinkedIn Larpmaxxing
rant and building of the slop YOLO project to detect other slop YOLO projects
419
Nicholas Polson has authored 258 academic papers in 2026 so far
Nicholas Polson has, by my count using his SSRN page, already written 258 working papers in 2026 alone. He’s already written (or at least published to SSRN), six papers today, August 26, 2026.
420
Needed 1+1, built a functional programming language
A deep dive into converting a simple arithmetic expression into a binary tree, leading to a custom language in C.