Blog

Programming philosophy, software design, AI, and notes from building real projects.

agentic-coding

ai-agents

anthropic

benchmarks

chatgpt

claude

+ 20 more

AI Fatigue and Vendor Lock-in

2026-08-11 · ~6 min

What is the best AI tool to use: ChatGPT or Claude? Codex or Claude Code? A practical look at benchmarks, vendor lock-in, and keeping AI workflows replaceable.

Correctness by Construction in the AI Age

2026-05-17 · ~13 min

Why correctness by construction matters more now than it ever has, and why the hooks you give your assistant matter more than the model you pick.

correctness

programming

type-driven-design

Hands typing on a laptop with code on screen.

Correctness by Construction

2026-05-17 · ~4 min

Six levels of correctness, from naive guards to typestate. Rust and TypeScript examples for making whole bug classes structurally impossible to write.

Why I'll Never Shut Up About Rust

2026-03-25 · ~5 min

From Lua to TypeScript to Rust. A self-taught programmer's journey toward correct-by-construction code, and why Jakuta Inc. bans booleans.

Email List

Essays, ideas, and project notes.

Programming philosophy, software design, AI, hard-won debugging lessons, and the projects I am building.