# CheckPickerUpper.dev

> Ozzy's developer blog on programming philosophy, software design, AI, systems thinking, and the projects he is building.

Author: Ozzy
Canonical site: https://checkpickerupper.dev/

## Core Pages

- [Blog](https://checkpickerupper.dev/blog): Published essays about programming philosophy, software design, AI, systems thinking, and building real projects.
- [Open Source](https://checkpickerupper.dev/open-source): Public projects, agent tooling, programming-language work, and developer utilities.
- [About](https://checkpickerupper.dev/about): Author background and current work.

## Published Articles

- [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.
- [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.
- [Why I'll 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.

## Open Source References

- [Perfect TypeScripter](https://github.com/CheckPickerUpper/perfect-typescripter): TypeScript code-quality gates and agent harness rules.
- [CheckPickerUpper GitHub](https://github.com/CheckPickerUpper): Public repositories and project source.