Perspectives from engineers on software engineering, AI, infrastructure, security, and the problems we’re working through.
The latest issue
When boxes are MIA, the multi-armed bandit saves the day.
A diff tells you what changed, not why. How to hand agents the work while keeping the intuition to challenge what they produce.
The branch-and-pull-request model was built for humans typing slowly. That's not how code gets written anymore.
Agents write the TLA+ spec from your code. On the rebuilt Registry GC it caught a live-data-deleting race.
A team process without a principle underneath it is a real problem. Protect the "why" as you scale.
AI writes code faster than you can review it, but you're on call when it breaks. A Go workflow to stay in control.
AI made finding obscure Linux bugs fast and cheap. Kernel hardening sorted by what it costs you.
Agents push code faster than CI can run. What CI has to become when nobody's at the keyboard.
Choosing a microVM for CI: API, GPU passthrough, snapshotting, live migration, and hotplug, side by side.
An LLM refactored a 1500-line mess into clean code. Months later, only agents worked in it.
Writing code stopped being the slow part. Now it's integration, review, and CI, and workflows haven't caught up.