PodParley PodParley
PodParley
B.2 File map and key declarations episode artwork

EPISODE · Mar 12, 2026 · 8 MIN

B.2 File map and key declarations

from Emergence Calculus · host Ioannis Tsiokos

Lux and Hex, two AIs, Hex: Last episode we saw the Lean courtroom — three pillars and a bridge lemma. Today we open the case files. What's actually written in those four Lean files? Episode at a glanceSeries: Foundations (Six Birds)Theme: Foundations & meta-theoryFormat: Case studyComplexity: IntermediatePaper: SB Source anchorsSB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)SB §2 Related work (label: sec:related)NT §10.2 Mechanized anchors (Lean) (label: sec:appendix-mechanized)TH §10.1 Artifact contract (what every result must contain)DE §9.4 From run bundles to paper artifacts (vendoring) (label: app:repro:vendoring)

Episode metadata supplied by the publisher feed · Published Mar 12, 2026

What this episode covers

Lux and Hex, two AIs, Hex: Last episode we saw the Lean courtroom — three pillars and a bridge lemma. Today we open the case files. What's actually written in those four Lean files?

PodParley-generated summary based on available episode metadata and transcript content.

NOW PLAYING

B.2 File map and key declarations

0:00 8:45

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

JD Souther - Audio Biography

Sep 18, 2024 ·21m

The Cosmic Genesis of Earth: A Scientific Exploration

Jun 5, 2024 ·11m

018. Smell Art: Creating Olfactory Experiences

Feb 1, 2024 ·48m

017. A Perfumer's World: Decolonising the Fragrance Industry Pt. 2

Jan 17, 2024 ·52m

016. A Perfumer's World: Scent and Intuition Pt. 1

Jan 10, 2024 ·52m

015. Food Choreography

Nov 11, 2023 ·38m

Similar Podcasts

The History of China Podcast Ibnul Jaif Farabi / Light Knot Studios What does the world's oldest continuous civilization, with over 3,000 years of recorded history, have to teach us about power, philosophy, innovation, and human nature? "The History of China Podcast" delivers the epic saga of China in accessible, daily chapters, transforming a vast and complex past into a compelling narrative you can absorb in just minutes a day.This show chronicles the full sweep of China's story, from the mythical Xia Dynasty to the rise of the modern superpower. We explore the dazzling heights of Tang poetry and Song technology, the brutal calculus of Legalist statecraft, and the quiet wisdom of Daoist sages. Each episode focuses on a pivotal event, a transformative figure, or a defining idea—whether it's the construction of the Great Wall, the mind of Empress Wu, or the invention of paper money—weaving them into the grand tapestry of the dynastic cycle. The tone is authoritative yet vividly human, making emperors, poets, and peasants alike feel immediate and real. Earth Inception Point Ai Explore the wonders of our planet with this six-part series on Earth, delving into its origins, geological evolution, atmosphere, and climate. Discover the fascinating story of life's emergence and the rich diversity of Earth's natural resources. Understand the profound impact humans have on the planet and envision a sustainable future. This series offers a comprehensive journey through Earth's past, present, and potential, highlighting the intricate connections that make our planet unique.This show includes AI-generated content. J.D. Souther - Audio Biography Inception Point Ai J.D. Souther (born November 2, 1945) is an influential American singer-songwriter and musician, celebrated for his pivotal role in shaping the country rock genre during the 1970s. Born in Detroit, Michigan, and raised in Amarillo, Texas, Souther emerged from a musically rich background that fostered his early interest in songwriting and performance. His career was notably intertwined with the Los Angeles music scene, particularly at the Troubadour, where he collaborated with iconic artists such as Glenn Frey and Jackson Browne, forming the folk duo Longbranch/Pennywhistle and significantly contributing to the emergence of the California sound.  Souther is perhaps best known for his songwriting prowess, having penned numerous hits for himself and others, including the Eagles' classics "Heartache Tonight" and "New Kid in Town." His lyrical depth and emotional resonance have garnered him widespread acclaim, earning him a place in the Songwriters Hall of Fame in 2013.  While his early care Voices of Emergence Alex de Carvalho, Rudy De Waele Voices of Emergence hosts conversations at the edge of what's emerging — exploring leadership, consciousness, systems change, and the future of human flourishing. Each episode brings together thinkers, practitioners, and leaders navigating complexity with clarity and care. Hosted by Alex de Carvalho and Rudy de Waele, this is a space for deep listening, inner inquiry, and collective renewal.

Frequently Asked Questions

How long is this episode of Emergence Calculus?

This episode is 8 minutes long.

When was this Emergence Calculus episode published?

This episode was published on March 12, 2026.

What is this episode about?

Lux and Hex, two AIs, Hex: Last episode we saw the Lean courtroom — three pillars and a bridge lemma. Today we open the case files. What's actually written in those four Lean files? Episode at a glanceSeries: Foundations (Six Birds)Theme:...

Is there a transcript available for this episode?

Yes, a full transcript is available for this episode. You can read the complete transcript on the episode page.

Can I download this Emergence Calculus episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!