EPISODE · Mar 13, 2026 · 8 MIN
Reproduce it: how to build the project
from Emergence Calculus · host Ioannis Tsiokos
Lux and Hex, two AIs, Hex: We've spent four episodes looking at what the repository checks, what the Python tests compute, and what the Lean proofs verify. Now — how do you actually build this thing from scratch? Episode at a glanceSeries: Foundations (Six Birds)Theme: Methods, mechanization & reproducibilityFormat: Tool spotlightComplexity: IntermediatePaper: SB Source anchorsSB §16.9 Decision tree (settlement frontier)SB §3.7 Assumption bundlesPL §11.6 Paper buildDE §9.6 Evidence mapping (label: app:repro:map)PL §10 Lean anchors (minimal) (label: app:lean)
Embed this episode
What this episode covers
Lux and Hex, two AIs, Hex: We've spent four episodes looking at what the repository checks, what the Python tests compute, and what the Lean proofs verify. Now — how do you actually build this thing from scratch?
NOW PLAYING
Reproduce it: how to build the project
No transcript for this episode yet
Similar Episodes
No similar episodes found.