Blog
On correctness, architecture, and the human side of why technical projects succeed or fail.
- How to Teach Kids Programming
Why programming still matters in an age of AI, the difference between coding and programming, and why I'm releasing my Programming Cards book for free.
- Why Praxiotic Exists
The origin of Praxiotic, what we're building, and why the tools that were supposed to make software correct are about to matter more than ever.
- What PKI Can Learn from Dependent Types
Linting catches malformed certificates after the fact. Dependent types make them unconstructible in the first place. A look at where the rules of PKI should actually live.