The Ledger

Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.

clear all ✕

why aren't all 3 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable

Assertion Supported
Mac Minis are uniquely suited for batch-one local LLM inference
“Mac minis, for example, are a very good fit for some of the LLMs, because it's all, if you're doing batch one inference, this is all super memory bound, so this actually works.”
Andrej Karpathy Jun 19, 2025 ▶ 11:44 Andrej Karpathy: Software Is Changing (Again) · Y Combinator
Assertion Supported
Tesla Autopilot neural networks systematically replaced explicit C++ code
“As we made the autopilot better, basically the neural network grew in capability and size, and in addition to that, all the C++ code was being deleted and kind of like was And a lot of the kind of capabilities and functionality that was originally written in o…”
Andrej Karpathy Jun 19, 2025 ▶ 4:57 Andrej Karpathy: Software Is Changing (Again) · Y Combinator
Assertion Contradicted
Vercel replaces click UI instructions with cURL commands for AI agents
“Bursell, for example, is replacing every occurrence of click with the equivalent curl command that your LLM agent could take on your behalf.”
Andrej Karpathy Jun 19, 2025 ▶ 36:09 Andrej Karpathy: Software Is Changing (Again) · Y Combinator
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 300 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.