I finished writing an article recently. I did what I always do before I queue something to be published: read it aloud, as if reading a storybook to a child. It’s how I find the rhythm: where a comma should … Read more
Last week Boris Cherny, the inventor of Claude Code, mentioned that Opus was able to use TLA+ to find race conditions in code. And now everybody on the internet is talking about formal verification. As a long-time educator (1 2) … Read more
September 23, 2026 · 3 mins · 617 words Share on: X · HN Unless you’ve been living under a rock, you’ve probably heard about Jev. Simon Willison’s post is a good overview, and this one shows how to implement … Read more
When you talk about Papua New Guinea, people may say, oh, is that the place where: People are 4.8% Denisovan There are nearly distinct 1000 languages spoken, about 12% of all the languages on earth, and by far the most … Read more
Jay Peters: Xbox’s huge outage even blocked games on disc An extended Xbox outage that began Sunday evening hasn’t just caused issues for people trying to play digital games — it blocked people from playing their disc-based games, too. When … Read more
I asked Claude to recreate the classic 1986 game Thrust for me in the browser. It created slop but then things spiralled out of control. Thrust was one of my favourite games on the BBC Micro — written by Jeremy … Read more
I’m building In the Long Run where runners do virtual runs on famous routes around the world. The app tallies up your Strava mileage and plots your total distance as progress against country- or continent-spanning routes. The intention is to … Read more
Walnut Creek’s Design Review Commission is reviewing a new apartment building on Botelho Drive across from the Habit this evening. Like every project proposed in Walnut Creek recently, it cannot be built under the city’s normal zoning code, so it … Read more
The author of Java property-testing tool jqwik did not want AI coding agents using his project. So he told them not to. Then he went one step further: he added a message to the tool’s output telling those agents to … Read more
In this Friday’s magic demonstration, I’m going to show how what you see in Privacy & Security settings can be misleading, when it tells you that an app doesn’t have access to a protected folder, but it really does. Although … Read more