Concrete in progress
March 12, 2026 63 minutes read over 4 episodes
Concrete is a systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and proven sound in Lean. It combines linear types, static capability tracking, and region-scoped borrowing to provide compile-time guarantees about resource usage and side effects.
Ethereum in progress
December 09, 2025 13 minutes read over 2 episodes
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.
Leptokurtic in progress
March 01, 2026 140 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, 2026 38 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.