I revisit the formalization task I did nine months ago in https://www.youtube.com/watch?v=cyyR7j2ChCI , but this time use a recent version of Claude Code to agentically do most of the formalization, while still leaving enough interactivity to stay manually…

Sorry to interrupt your regular programming about the AI apocalypse, etc., and return to the traditional beat of this blog’s very earliest years … but I’ve now gotten multiple mes…

Notes on baking at the South Pole.

How ParadeDB uses principles from search engines to optimize Postgres' Top K performance.

Ecommerce giant says there has been a ‘trend of incidents’ linked to ‘Gen-AI assisted changes’

VisiCalc started it, but 1-2-3 finished it. "It" being the discussion of what a spreadsheet can be, and also VisiCalc itself.

A weird and useless website to waste time. An absurd experiment in endless scrolling where the void slowly wins. How far will you go?

Release notes for Ghostty 1.3.0, released on March 9, 2026.

Redox: A Rust Operating System

Explore this post and more from the emacs community

An easy way to start with Lisp-Stat

ALS Support on M2 MacBook Air (J415) We've got the VD6286 ambient light sensor fully working on the M2 MacBook Air 15" running Asahi Fedora 42 with the fairydust kernel. Sharing the setup ...