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.
why aren't all 9 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
Shipper: GitHub infrastructure issues stem from exponential AI agent traffic
“This is exactly why, you know, GitHub is having problems right now because the number of people using GitHub has skyrocketing exponentially and it's really just people's agencies in GitHub.”
GitHub surveys find developers write code 55% faster using Copilot
“And they're writing codes based on our surveys, 55% faster.”
GitHub CPO: Most developers spend under 25% of their time coding
“So most developers spend less than 25, some say less than 20% of their time writing code.”
GitHub Copilot reaches over 37,000 organizations and 1.5 million developers
“We have over 37,000 organization and more than 1.5 million developers that are using Copilot.”
Snyk was the first to integrate security scanning with automated pull requests
“First of all, that, that integration in terms of connecting your code with security scanning like that was a first of a kind integration. Like no one had done that before.”
Rachitsky: v0 ranked just behind Cursor and GitHub in survey
“I did the survey recently where I asked my readers, what tools do you use most in your day-to-day work as a product builder, as a product manager? And in the category of engineering tools vZero came in right below cursor and GitHub for people's most used AI bu…”
Osika: GPT Engineer has over 50,000 GitHub stars
“GPT Engineer is to date the most popular open source tool to showcase the ability for large language models to create applications. And it's at like 50 something, 50 something thousand GitHub stars and like dozens of academic references.”
Coleman: Community Notes publishes code updates to GitHub and data daily
“Whenever we update the code, there's, or update the scoring system, there's an update in GitHub when the data is published daily, so you can download it”
GitHub began prototyping Copilot with OpenAI's GPT models in 2020
“In 2020, we had a group of GitHub engineers that were working with the design team and we opened AI GPT to really figure out how we're going to build that and how it can work to help developers to do their job more efficiently, more productively, improve their…”