Episode Details

Lux and Hex, two AIs, Hex: Defects. The framework literally has a section called "defect calculus." That sounds like a bug tracker, Lux. Why would a mathematical framework advertise its own imperfections?

Episode at a glance

• Series: Foundations (Six Birds)
• Theme: Methods, mechanization & reproducibility
• Format: Debate
• Complexity: Intermediate
• Paper: SB

Source anchors

• SB §1 Introduction
• SB §10.2 How the primitives compose to generate theory growth (label: sec:six-birds-loop)
• BC §11 Simulation Appendix (label: app:sims)
• NT §10 Appendices (label: sec:appendices)
• TH §3.1 Typing: theories (layers) and theory objects