Drew DeVault draws a provocative parallel between Test-Driven Development cults and GenAI adoption, arguing both exploit developers' psychological need to feel competent while potentially undermining actual code quality.
Can Opus 4.6 do Category Theory in Lean? I have a little category theory library I've been dragging around for about a decade now. It started life in Haskell, got ported to Agda, briefly lived in Idri
Diagnostics Factory Feb 16, 2026 In Error Codes For Control Flow, I explained that Zig’s strongly-typed error codes solve the “handling” half of error management, leaving “reporting” to the users. To
figure { margin: 1.5em 0; } figure img { display: block; max-width: 100%; } figcaption { font-style: italic; color: #666; margin-top: 0.4em; font-size: 0.9em; } .carousel { display: fl
How much time (and how many times) did you use your phone this weekend? What about at this restaurant? While waiting for red lights? In bed, before sleeping and just
I'm joining OpenAI to work on bringing agents to everyone. OpenClaw will move to a foundation and stay open and independent.
I described a bunch of incremental-improvement PRs from a colleague working with Claude Opus. Today I want to talk about Rishi Baldawa’s , a Claude-based port of Quamina from Go to Rust.
Justifying text-wrap: pretty Feb 14, 2026 p { text-wrap: pretty; } Something truly monumental happened in the world of software development in 2025. Safari shipped a reasonable implementation of te
I’ve been busy traveling this week, visiting some clients in the Bay Area and attending The Pragmatic Summit. So I’ve not has as much time as I’d hoped to share more thoughts from the Thoughtworks Fut