Ethereum

Modern economic systems rest on two foundations: tools that expand productive capacity and institutions that define who controls their output. The internet transformed how information moves, but it did not reconstruct the institutional machinery that governs ownership and exchange. Digital economic life therefore expanded without a durable system of rights, enforcement, or jurisdiction. Blockchain networks, and Ethereum in particular, address this gap by embedding institutional functions in software and enforcing them through economic incentives and cryptographic verification.

Episodes

Episode 1 – The missing institution of the Internet

December 02, 2025 7 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 4 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 four-part series on the connection between types and proofs: the Curry-Howard correspondence, a tiny prover implemented explicitly in Python, a mini-Lean embedded in Julia’s type system, and writing proofs in Lean.

Concrete in progress

March 24, 202657 minutes read over 6 episodes

Concrete is a series about a systems language designed so the compiler can say more than pass or fail.

If you are new to the series, start with Why Concrete Exists. If you want the most practical demonstration first, read When the Compiler Is the Oracle. If you want the living reference material, use Concrete Spec.

Suggested reading order:

Leptokurtic in progress

March 01, 2026140 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, 202638 minutes read over 6 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.