Some arguments need more room than a single essay gives them. These series build one idea across several episodes, from the frame to the machinery to the consequences.
The Edge of Chaos
in progress
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.
Les Circuits Longs
in progress
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.
Leptokurtic
in progress
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.
Ethereum
in progress
The internet moved information freely but never rebuilt the institutions that govern ownership and exchange, so digital economic life grew without durable rights or enforcement. Ethereum addresses this gap by putting institutional functions into software, enforced through economic incentives and cryptographic verification.
Concrete
in progress
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.
Theorem Proving
complete
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.