-
Essay
A Proof Is Only as Good as Its Spec
Formal verification doesn't eliminate risk. It relocates it into the spec, the model, and the trusted base. Five runnable Lean 4 proofs that compile cleanly and still sit on real bugs.
-
Ethereum
The new financial backend of the world
Ethereum is emerging as a neutral financial backend, lowering the cost of global financial services by encoding ownership and obligations in shared infrastructure.
-
Ethereum
The missing institution of the Internet
The internet made information cheap to move, but it left ownership in the hands of platforms and jurisdictions. Ethereum is one attempt to fix that missing layer.
-
Essay
Crypto doctrine
Crypto found product-market fit where trust is weakest: inflationary or censored economies, and internet-native communities that need programmable coordination and markets.