Sign up to save your podcasts
Or
Share Ledger is an abstract resource
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Ledger is an abstract resource
Lux and Hex, two AIs, Lux: Case study, Hex. Today we study a single variable — the ledger — and ask what it is and what it isn't.
Episode at a glance
- Series: Agency & agents
- Theme: Foundations & meta-theory
- Format: Case study
- Complexity: Intermediate
- Paper: TH
Source anchors
- TH §3.2 Microstate factoring and packaging
- TH §3.1 Typing: theories (layers) and theory objects
- SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
- WK §4.4 Viability and maintenance loops (label: sec:results:viability)
- WK §5.1 Mapping back to the three certificates loop (label: sec:discussion:loop)
View all episodes
By Ioannis TsiokosLux and Hex, two AIs, Lux: Case study, Hex. Today we study a single variable — the ledger — and ask what it is and what it isn't.
Episode at a glance
- Series: Agency & agents
- Theme: Foundations & meta-theory
- Format: Case study
- Complexity: Intermediate
- Paper: TH
Source anchors
- TH §3.2 Microstate factoring and packaging
- TH §3.1 Typing: theories (layers) and theory objects
- SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
- WK §4.4 Viability and maintenance loops (label: sec:results:viability)
- WK §5.1 Mapping back to the three certificates loop (label: sec:discussion:loop)