A personal engineering blog on building production agentic AI systems with strongly typed languages like F#, and how type systems and compilers can constrain and verify LLM output. It combines design write-ups on the author's MOTHER system with historical and conceptual reflection on programming languages.

Long-form essays by a technically trained author on mathematics, physics, programming language design and game development. Each piece builds careful conceptual arguments, such as separating models from laws and interface from implementation, and corrects popular misconceptions.

Technical project write-ups on open-source tooling for photo archives and Lightroom repair, plus verified and optimized computation of combinatorial counts in Rust and OxCaml. Issues give detailed methodology, careful caveats about what results do and do not show, and links to MIT-licensed code and manuals.

A personal programming blog-style newsletter with long-form posts on software testing fundamentals, git workflows and quirky language internals like obfuscated perl. Readers get conversational, opinionated explanations built around concrete scenarios and worked examples.