By mid-March I had fifteen Ghostty terminals open. Each one running Claude Code, each one tied to a different project, each one shouting silently for attention from behind the next tab. I had stopped knowing which session was on which branc…
In March I wrote about JSSE, a JavaScript engine an agent built from scratch in Rust. It passed 100% of test262 non-staging tests. It was also slow. Intentionally so. The "What's Next" section of that post named bytecode compilation as the
In this short post I want to say hello and try out something new. This blog has had a few years of writing and approximately zero ways for you to talk back. That changes today, kind of. There is now a comments section at the bottom of this
In the first months of agentic coding, I grieved. The joy of hunting a bug for weeks, the satisfaction of finally tracing it to a single misplaced condition, the meditative rhythm of writing code line by line. Gone. I had spent decades buil…
This webpage discusses the importance of having multiple independent proof checkers (also called "kernels") to verify the correctness of proofs generated by automated theorem provers like Lean. The author, Leonardo de Moura, explains that e…
In January, I came across a blog post by the author of one-agent-one-browser, a from-scratch browser built in Rust by a single person directing a single coding agent over a few days. No JavaScript support, though. I read it and thought: "Ho…
A couple of weeks ago I wrote about the ESBMC plugin for Claude Code — a way to bring bounded model checking into your terminal through an AI coding assistant. The response was encouraging, and things have moved quickly since then. This is
Musiker is an interactive timeline that maps the lifetimes and connections of classical music composers and players — from William Byrd in the 1540s to Lang Lang today. The site currently covers three instruments: piano, violin, and trombon…
Edit (2026-02-23): Updated plugin installation instructions to use the new repository names. ESBMC is an open-source bounded model checker for C, C++, Python, Solidity, and CUDA. Unlike traditional testing, which only explores the paths you…
If you're a heavy Claude Code user, you've probably been caught off guard by hitting your session or weekly usage cap mid-flow. I wrote a small script that shows your current Claude Code API usage right in Waybar, so you can always see wher…
This article discusses how Red Hat is approaching the use of AI tools to accelerate open source development, while adhering to open source principles. The key points are: 1. Red Hat has developed guidelines for its engineers on the responsi…
A few words on daring to imagine the future of software engineering. Usage of GenAI over the year 2025 - Education Stack optimization work on x87 FPU in FEX. Description of the implementation of WebAssembly Reference Types in Clang/LLVM How…