Writing
Ideas worth working through.
Notes on software, crypto, economics, and building systems that deserve trust.
Formal Verification: A Bulwark Against the Rising Tide of AI Slop
Exploring the critical importance of formal verification in an era dominated by AI-generated code, ensuring trust, reliability, and mathematical certainty in software systems.
Quadratic Voting: A More Nuanced Way to Capture Preferences
This blog explores the concept of quadratic voting and how it addresses the limitations of traditional voting systems by capturing not just the direction, but the intensity of preferences.
The Intersection of Economics and Code: Why Crypto Fascinates Me
This blog explores my journey into the world of economics, libertarian ideals, and decentralized networks like Bitcoin and Ethereum. I dive into how the mechanics of money and decentralized consensus algorithms shaped my passion for programming sound systems of money.