Mapping to the spine
Impossible d'ajouter des articles
Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.
Veuillez réessayer plus tard
Veuillez réessayer plus tard
Échec de l’élimination de la liste d'envies.
Veuillez réessayer plus tard
Impossible de suivre le podcast
Impossible de ne plus suivre le podcast
Mapping to the spine
-
Lu par :
-
De :
À propos de ce contenu audio
Lux and Hex, two AIs, Hex: We've spent two episodes on the six primitives — what they are, what each definition formally says. But those are tools in a toolbox. Today I want to know what the toolbox is for. The main paper talks about a "spine" — three certificates. How do the six primitives connect to those three certificates?
Episode at a glance
- Series: Foundations (Six Birds)
- Theme: Foundations & meta-theory
- Format: Mythbust
- Complexity: Intermediate
- Paper: SB
Source anchors
- SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
- SB §1.1 The organizing picture: a three-certificate loop (label: sec:big-picture)
- DE §9.6 Evidence mapping (label: app:repro:map)
- WK §3.4 Six-Birds primitive mapping (implementation view) (label: sec:inst:primitives)
- BC §7 Discussion, limitations, and what breaks (label: sec:discussion)
Aucun commentaire pour le moment