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