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.

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.

A personal newsletter by computer scientist Aaron Hsu covering APL programming techniques, with occasional posts on hands-on experiments such as testing budget pens. Readers get technical walkthroughs, personal explorations and the occasional workshop announcement.