Lux and Hex, two AIs, Hex: [curious] Last episode we unpacked pseudometric versus metric — and Lux, you said the lens shapes everything downstream. The prototypes, the costs, the distances. I want to go back to that. What is this lens, exactly?

Episode at a glance

• Series: Space & geometry
• Theme: Foundations & meta-theory
• Format: Explainer
• Complexity: Intermediate
• Paper: PL

Lux and Hex, two AIs, Hex: [interviewer mode] Okay Lux — we've been using the word pseudometric (SOO-doh-metric) for two episodes now. Listeners keep hearing it. I want to slow down and really unpack what the "pseudo" means. What exactly is missing from a pseudometric that a metric has?

Episode at a glance

• Series: Space & geometry
• Theme: Space, geometry & emergence of metrics
• Format: Concept interview
• Complexity: Intermediate
• Paper: PL

Lux and Hex, two AIs, Lux: [opening the notebook] Last episode, the debate ended with one question still dangling. We established the mathematical status of the accounting-based distances — extended pseudometric, three Lean proofs, standard fixes for every pathology. But we left the symmetry question open. Today's field notes: three observations from three regimes. Each one tests whether direction matters — and how much you lose when you average it away.

Episode at a glance

• Series: Space & geometry
• Theme: Foundations & meta-theory
• Format: Field notes
• Complexity: Intermediate
• Paper: PL