Sam Gleeson
Software Leader
Building KS—an Attribute Grammar framework for TypeScript that makes it dramatically easier to build tools that analyze, check, and transform code.
Previously led Product & Engineering at Constantinople ($70M raised), and built Accenture's AIOps platform to 70 engineers serving 200 enterprise clients.
Recent Writing
- Software Is a Guarantee Problem. The AG Tower Is a Guarantee Machine.Apr 15, 2026
Most of what engineers do is a substitute for a proof they don't have. Here's the thesis, the 50-year research tradition behind it, and the first vertical where the gap is unconscionable.
- Lattice Algebra in KindScriptFeb 16, 2026
Understanding the mathematical foundations of architectural enforcement through interactive visualizations.
- Caffeine Is Destroying Your Sleep. Paraxanthine Doesn't Have To.Dec 18, 2024
Why the metabolite you've never heard of is pharmacologically superior—especially after noon.