Thoughts on AI, engineering, and building products.
Six levels of correctness, from naive guards to typestate. Rust and TypeScript examples for making whole bug classes structurally impossible to write.
From Lua to TypeScript to Rust. A self-taught programmer's journey toward correct-by-construction code, and why Jakuta Inc. bans booleans.