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 5 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
Dohmke: Most developers have adopted AI tools, unlike other knowledge workers
“Most developers have adopted some form of AI tooling into the workflow already, while other knowledge workers, other white collar workers are still early in that adoption journey.”
Thomas Dohmke Jun 12, 2025 ▶ 34:35 GitHub CEO: The AI Coding Gold Rush, Vibe Coding & Cursor
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
Dohmke: Multilingual AI coding benchmarks hover around 20% to 30% success rate
“And so in Python, I think the big best benchmarks is 60 to 70%, depending what model agent combination you take. But if you look at multilingual, we are in the 20 to 30% range for these benchmarks.”
Thomas Dohmke Jun 12, 2025 ▶ 58:04 GitHub CEO: The AI Coding Gold Rush, Vibe Coding & Cursor
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.