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 11 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
Friedman: Dedicated AI agents will prevail over general computer-use models in enterprise
“We're seeing it for a while, and I think it will stay like that despite the computer use, et cetera, that supposedly can just replace us, and it could, you can just, like, prompt it to be, hey, now be a QA, you know, or be a QA person or developer. I still thi…”
Friedman: GitHub Copilot user retention in enterprise is 38% to 50%
“Between 38 to 50%
Retention for users using Copilot and Enterprise.”
Friedman: AlphaCodium boosts OpenAI o1, proving o1 lacks true System 2
“We took their all one preview with Alpha Codium and did better. Like it just shows like, and there is a big difference between the preview and the IOI. It shows, like, that these models are not still system two thinkers, and there's a big difference.”
Friedman: StackBlitz must choose between Bolt and WebContainers or raise $1B
“I think like if you ask me what my advice, I think you have three options. One is to focus on bolt. The other is to focus on the web container. The third is to raise one billion dollar and do them both. I'm serious. Like, I think like otherwise. You need to ch…”
Friedman: Solving software testing effectively solves software development
“We think that if you solve testing, you solve software development.”
Friedman: There are no good code-specialized embedding models available
“There isn't a good code embedding model out there.”
Friedman: AlphaCodium reaches 95th percentile Master level on Codeforces
“Alpha Codium is a open source tool. You can go and try it and lets you compete on CodeForce as a website and a competition, and actually reach a master level, level, like, 95 percentile with a click of a button.”
Friedman: AI coding tools split into IDE evolutions versus greenfield re-imaginings
“I think like we have like two type of families of tools. One is like we re-imagine the software development. I think Bolt is there. And I think like a cursor is more like an evolution of what we already have. It's like taking the IDE and it's amazing. And it's…”
Friedman: Breaking coding tasks into smaller blocks reduces prompt sensitivity
“When you take a big block, a big problem, you need a very different prompt for each one of the models to actually work. But when you take a, like a big problem and break it into small tasks, we can talk how we do that. Then the prompt matters less.”
Friedman: AI Agents Will Shift Developer Focus From Code to Specs and Tests
“Eventually, I think that that's where the world is going to. Like the code It's going to be there, and we're, there will be developers, et cetera, but as agent improves and capabilities of the LLMs and integrations to different parts of the environment, develo…”