What happens when AI makes everything legible? The things that worked because they couldn’t be seen clearly may stop working once they can.

The scarcity that matters most in a post AGI world won’t be compute or energy. It will be desire itself.

What happens to the West’s services advantage when strong AI models are free, portable, and running on every laptop?

Our stack and practices for building SaaS applications: Elixir on the backend, React on the frontend, Nix for everything else. No Docker. No Kubernetes.

Humanity is completely unprepared for what’s coming. The pace of AI advancement might give people months to adapt, not decades.

A practical guide through the landscape of type systems, from everyday generics to dependent types that prove correctness, with examples in Rust, Scala, and Idris

Individuality is a coordination technology. It emerged under specific historical conditions, and those conditions are weakening as computation, capital, and automated feedback loops absorb the functions it once performed.

A framework for building institutions that compound under pressure: treat time as information, preserve loop integrity, and focus on domains where repetition improves judgment.

Crypto found product-market fit where trust is weakest: inflationary or censored economies, and internet-native communities that need programmable coordination and markets.

The proving-verification asymmetry in zero-knowledge proofs is what makes them economically meaningful: proving is expensive, verification is cheap, and that gap changes what systems can be built without trust.