Blog

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

correctness

jakuta

programming

rust

type-driven-design

typescript

Server racks lit in a data center aisle.

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.