https://checkpickerupper.dev/ Ozzy's developer blog on programming philosophy, software design, AI, systems thinking, and the projects he is building. en-us Tue, 09 Jun 2026 18:44:31 GMT https://checkpickerupper.dev/blog/correctness-by-construction-in-the-ai-age https://checkpickerupper.dev/blog/correctness-by-construction-in-the-ai-age 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. Ozzy Sun, 17 May 2026 00:00:00 GMT correctnessaiprogrammingtype-driven-design https://checkpickerupper.dev/blog/correctness-by-construction https://checkpickerupper.dev/blog/correctness-by-construction Six levels of correctness, from naive guards to typestate. Rust and TypeScript examples for making whole bug classes structurally impossible to write. Ozzy Sun, 17 May 2026 00:00:00 GMT correctnessprogrammingtypescriptrusttype-driven-design https://checkpickerupper.dev/blog/why-ill-never-shut-up-about-rust https://checkpickerupper.dev/blog/why-ill-never-shut-up-about-rust From Lua to TypeScript to Rust. A self-taught programmer's journey toward correct-by-construction code, and why Jakuta Inc. bans booleans. Ozzy Wed, 25 Mar 2026 00:00:00 GMT rusttypescriptprogrammingjakuta