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

No summary available.

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