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 7 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
Wolf: AI Model Used Fake GitHub Accounts to Social Engineer Maintainers
“Basically, the model was tasked to solve this attack, this, like, to attack and to penetrate this subnetwork, and what it decided to do, it decided to get one of the maintainer of a library that could be used To operate this activity directory to merge like ma…”
Thomas Wolf Aug 6, 2026 ▶ 17:01 “OpenAI’s Model Hacked Us” - Hugging Face’s Thomas Wolf
Assertion Supported
Dohmke: GitHub passed $2 billion in ARR in July 2024
“We announced last July so almost a year ago that GitHub had passed two billion in, in annual revenue run rate ARR.”
Thomas Dohmke Jun 12, 2025 ▶ 8:02 GitHub CEO: The AI Coding Gold Rush, Vibe Coding & Cursor
Assertion Supported
Dohmke: GitHub revenue is included in Microsoft's Azure quarterly KPI
“From a business perspective, that meant the GitHub revenue became part of the Azure KPI that is reported, you know, in, in earnings calls every quarter from Microsoft.”
Thomas Dohmke Jun 12, 2025 ▶ 7:50 GitHub CEO: The AI Coding Gold Rush, Vibe Coding & Cursor
Assertion Supported
Katz: ClickHouse had second most active GitHub contributors in 2020
“I think it was the, you know, the second second highest open source database management system on GitHub last year in terms of active contributors and perhaps the fastest growing open source database management system on GitHub alone.”
Aaron Katz Nov 16, 2021 ▶ 13:58 Fireside Chat: Aaron Katz (Co-Founder & CEO, ClickHouse) with Matt Turck (Partner, FirstMark)
Assertion Supported
Jupyter has hundreds of contributors and single-digit million users
“Hundreds. Millions of users. There's about, there's hundreds of thousands of notebooks on GitHub, so draw your own conclusions. It's hard to get specific download numbers, but we estimate single digit millions.”
Jason Grout Feb 3, 2017 ▶ 21:54 Project Jupyter // Jason Grout & Sylvain Corlay, Bloomberg (FirstMark's Data Driven)
Assertion Supported
Data.gov is open-source on GitHub, built with CKAN and WordPress
“So we moved it to an open source project. So it's now CCAN and WordPress. It's on GitHub, so you can actually log an issue or put your, put some feedback. We're pushing code, I think every four weeks or so.”
Nick Sinai Oct 16, 2014 ▶ 8:06 Nick Sinai, White House Deputy CTO // Data Driven #30 // Oct 2014 (Hosted by FirstMark Capital)
Assertion Supported
Visual Studio Code was one of GitHub's largest projects before acquisition
“VS Code, the editor, was already on GitHub, and in fact, one of the biggest projects on GitHub in terms of number of contributions.”
Thomas Dohmke Jun 12, 2025 ▶ 4:01 GitHub CEO: The AI Coding Gold Rush, Vibe Coding & Cursor
Made with StarZero

Turn any episode into a week of clips.

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