Blog
On correctness, architecture, and the human side of why technical projects succeed or fail.
- 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.