Welcome. This is where I share what I'm learning.
I'm a software developer in St. Louis, Missouri. I study ways of keeping software working including maintenance, testing, and formal methods. I'm an expert on coding agents and critical of AI because it's overused.
You can find me on the podcasts The Coding Agency and Trek Virgin, and my YouTube channel Craft vs Cruft. Cheers!
Recent writing
-
Another fake compiler. Nothing to see here. Do not read this article.
-
Here's what they miss about AI criticism: every single thing
-
Programming language drama ensues as tech bros oversell the end of software engineering.
-
Resources for getting started with formal verification.
-
A proposal to formally define MoonBit's operational semantics and lay the groundwork for type soundness proofs.
Prefer a reader? Subscribe to the RSS feed.