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 57 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 1 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
Alberti: Over 1,000 GitHub projects added DeepWiki badges to their repositories
“There was more than a thousand projects already had The like deep wiki batch, which I thought was like super awesome to see like way more than I expected.”
Silas Alberti May 21, 2025 ▶ 14:02 DeepWiki: The GitHub Encyclopedia
Assertion Supported
Augment Code supports MCP alongside native GitHub, Linear, and Notion integrations
“Within augment, we have we have both MCP support for complete extensibility of tools, but we, we've also built in a few first party integrations and serve them as tools to the agent. So we have GitHub linear notion that, that we use internally, and then we hav…”
Guy Gur-Ari Apr 2, 2025 ▶ 18:17 The #1 SWE-Bench Verified Agent
Assertion Supported
Comfyanonymous built and released ComfyUI in just fifteen days
“So I started writing the code January one, 20, 23. And then I released the first version on GitHub January, 1620, 23.”
comfyanonymous (Comfy) Jan 4, 2025 ▶ 4:58 AI Engineering for Art - with comfyanonymous
Disclosure
Crivello: Lindy uses an AI PR reviewer reading 40-page bug guidelines
“We have like a Lindy PR reviewer. And it's really handy because anytime any bug happens, so the Lindy reads our guidelines on Google Docs. By now the guidelines are like 40 pages long or something. And so every time any new kind of bug happens, we just go to t…”
Florent Crivello Nov 15, 2024 ▶ 20:58 Agents @ Work: Lindy.ai (with live demo!)
Assertion Supported
Cosine's SWE-bench model patch outputs are publicly verifiable on GitHub
“The patches are still public. So like the, dare I say, traditional Sweebench submission, you can go to a GitHub repo and see it and run them for yourself and verify that the numbers come out correctly.”
Alistair Pullen Aug 22, 2024 ▶ 50:54 Is finetuning GPT4o worth it?
Assertion Partly supported
Ruiz: tldraw Hit #1 on Hacker News and 40K Users on Launch Day
“There was like number one on Hacker News for a while. It was like the top trending repo on GitHub. A lot of people get, like, 40,000 people showed up at teilder.com to use it on that launch date.”
Steve Ruiz Jan 5, 2024 ▶ 16:24 The Accidental AI Canvas - with Steve Ruiz of tldraw
Assertion Supported
Wang: LlamaIndex reached 600,000 monthly downloads by September 2023
“And since you're fundraising Post, which was in June. And now it's September, so it's been about three months. You've actually gained 50% in, in terms of stars and followers. You've three X your download count to 600,000 a month and your discord membership has…”
Shawn Wang Oct 12, 2023 ▶ 19:46 RAG is a hack - with Jerry Liu of LlamaIndex
Assertion Supported
Marimo Support Is a Top-Upvoted Issue on Google Colab's GitHub
“Actually, if you go to Google Colab's GitHub issues page they have one, and sort by thumbs up. We are, like, I guess the sixth or seventh most upvoted issue. Support Marimo in Google Colab.”
Akshay Agrawal Jul 18, 2025 ▶ 22:44 ⚡️The Future of Notebooks - with Akshay Agrawal of Marimo
Assertion Supported
Shulman: Suno's first release was open-source TTS model Bark
“In fact, we, the first thing we ever put out was a speech model. It was Bark. It was this open source text-to-speech model, and it got a lot of stars on GitHub,”
Mikey Shulman Mar 14, 2024 ▶ 13:49 Making Transformers Sing - with Mikey Shulman of Suno
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 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.