Fragments: February 18
I’ll start with some more tidbits from the Thoughtworks Future of Software Development Retreat ❄ ❄ We were tired after the event, but our marketing folks forced Rachel Laycock and I to
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.
I’ll start with some more tidbits from the Thoughtworks Future of Software Development Retreat ❄ ❄ We were tired after the event, but our marketing folks forced Rachel Laycock and I to
A lot of reasonable people may perceive my enthusiasm for Rust as misguided fanaticism, but it isn't. It's cold pragmatism. Sherlock Holmes liked to say "When you have eliminated the
Hello! After spending some time working on the Git man pages last year, I’ve been thinking a little more about what makes a good man page. I’ve spent a lot of time writing cheat sheets for tools (tcpd
I've heard a number of reports recently about people setting up LLM agents to work on their email and other communications. The LLM has access to the user's email account, reads all the emails, de
Birgitta Böckeler explains why OpenAI's recent write-up on Harness Engineering is a valuable framing of a key activity in AI-enabled software development. The harness includes context engi
You are of course aware that attention spans are shrinking. YouTube -> Shorts, Instagram Reels, Tiktoks, etc have taken over the world.
I’ve been puttering away on my project since 2023. In the last few weeks GenAI has intervened. describes a series of Claude-generated human-curated PRs, most of which I’ve now appr
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