Correctness, architecture, and shipping software that wins.https://praxiotic.com/https://praxiotic.com/blog/welcome/https://praxiotic.com/blog/welcome/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.Mon, 29 Jun 2026 00:00:00 GMThttps://praxiotic.com/blog/pki-dependent-types/https://praxiotic.com/blog/pki-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.Mon, 29 Jun 2026 00:00:00 GMT