Ethereum

If you grew up somewhere institutions work, the topic is hard to feel viscerally. The internet moves information. Banks, courts, and registries handle ownership. The split feels obvious and the seams stay invisible.

Grow up somewhere they do not work and the seams are everything. Savings disappear overnight. Property records get rewritten. Contracts you signed in good faith get reinterpreted under a different government. The system holding the financial world together is paperwork, jurisdiction, and trust in institutions that are not always there to trust.

Ethereum is the first credible attempt to put that lower layer into software. Not faster payment rails, not a digital bank — institutional machinery. A title that does not depend on a registry staying honest. A custody arrangement that does not depend on a bank staying solvent. A contract that executes itself without anyone having to interpret it. A currency whose total supply is auditable by anyone, in real time. Settlement between two parties with nobody in the middle vouching for either of them.

These are not products. They are the slots in an economy that institutions used to fill, rewritten as programs.

Two essays set the frame so far:

The missing institution of the internet. Information scaled. Ownership did not. Why the gap exists, and what is starting to fill it.
The new financial backend of the world. What changes for global finance when records, rights, and obligations live in shared infrastructure rather than in any one country’s books.

The series is still in progress. Later episodes will get into execution clients, zero-knowledge proofs, validator design, and native rollups — but every one of them comes back to the same question: what does it take to build coordination machinery that does not depend on any single country still believing in itself tomorrow?

Episodes

Episode 1 – The missing institution of the Internet

December 02, 2025 8 min read Keywords: ethereum, economy, crypto

The internet scaled information but not ownership institutions; Ethereum addresses this gap by embedding rights, records, and enforcement into programmable economic infrastructure.

Episode 2 – The new financial backend of the world

December 09, 2025 5 min read Keywords: ethereum, economy, crypto

Ethereum is emerging as a neutral financial backend, lowering the cost of global financial services by encoding ownership and obligations in shared infrastructure.

This series is in progress, stay tuned!

Other series

Theorem Proving complete

March 20, 202644 minutes read over 4 episodes

A proof is a program and a theorem is a type. This series builds that idea from Curry-Howard to a tiny Python prover, a mini-Lean in Julia, and real proofs in Lean 4.

Concrete in progress

April 09, 202662 minutes read over 7 episodes

Concrete is a systems language built so the compiler can say more than pass or fail. Linear types, explicit capabilities, visible cleanup, and a Lean-proven core turn hidden program behavior into facts the compiler can expose.

Leptokurtic in progress

March 01, 2026149 minutes read over 4 episodes

Financial returns have fat tails. Crashes that Gaussian models call impossible happen regularly. This series assembles twenty centuries of financial data, builds a crash-detection toolkit from 17 methods, tests tail hedging with real options data, and then explains the geometric logic tying the whole picture together.

Les Circuits Longs in progress

March 06, 202637 minutes read over 5 episodes

Dissolution runs at computational speed. Construction runs at biological speed. Friction was the governor that kept them in sync. This series traces a single mechanism from several angles: what happens when optimization outpaces formation.

The Edge of Chaos in progress

June 06, 202691 minutes read over 8 episodes

Complex systems made of many copying, interacting parts can sit near a critical edge, the narrow band between order and chaos. There, small shocks cascade, large events need no large cause, and the calm itself can be a warning. This series builds that idea step by step from simple models, then turns it on markets, flows, and risk management.