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 2,445 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 100 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
Yegge: OpenAI sees a 10x productivity gap between AI adopters and non-adopters
“Anecdotally, they're sharing that performance, the performance differences like 10 X By any way that you measure it. So lines of code, commits, business impact, whatever. And it's so stark and pronounced that the people who aren't adopting it are now 10 times …”
Yegge: Top engineers avoiding AI will operate like interns within a year
“Look, I have friends Who are much better engineers than I am, ok, I mean, world class, maybe some of the best in the whole world, ok, have built technologies that you've heard of, and they're not using AI yet, except the occasional, I'll ask Cursor a chat ques…”
Abraham: CloudChef robot outperforms expert chefs on 40-50% of commercial cuisines
“Our robot is able to do line cooking for about 40 to 50% of the world's commercially valuable cuisine to a point that if we put our robot against an expert chef in that cuisine, our robot is able to consistently make the food better than even the chef whose so…”
Hotz: GPT-4 is an 8-way mixture model with 220B parameters per head
“GPT-IV is two hundred twenty billion in each head, and then it's an eight-way mixture model.”
Slack predicts CLI coding agents could be dead within two months
“And that's the kind of thing that means that this transition, I think, is going to go a lot faster than people think. Because if security and devs both benefit from it, then, you know, I don't know, in two months, we could be seeing CLI coding agents as basica…”
Swyx predicts coding SaaS will outlive all other SaaS
“Coding SAS will be the last SAS in the world because all the other SAS will just be buildable via coding SAS.”
Slack predicts traditional CI's days are numbered due to AI
“Every time someone has said, oh, I don't trust the model to do X or Y. That doesn't last for that long. So it just feels like the days of CI as we know it are numbered”
Lie: Groq will be forced to focus on significantly smaller models
“I think what's, what's going to end up happening is they're going to end up focusing on significantly smaller models. You know, if you have that limitation in your architecture, then I think that's what ends up happening.”
Sean Lie: 95% of High-Quality Open Models Come From Chinese Labs
“The open source model market is a hundred percent Chinese, right? . A hundred percent, but. Almost. Okay. 95%, right? Most of the big models, most of the big open models that are, you know, high quality are coming from the Chinese labs.”
Google DeepMind's six-month internal embargo shelves commercially valuable research papers
“I mean, what's worse is the paper is actually not even being Published anymore because there's a six month embargo inside of DeepMind, right? Like we've heard about this where a paper comes out and then I think there's a six month embargo window where if anybo…”
Awais: Claude Code hides 50+ tool-call failures per session on DeepSeek
“In CloudCode you know, they hide a lot of the errors behind control O, right? So you don't even know that, you know, you have like 50 plus tool call failures plus per session. You're just sitting there and you're like, oh, why is DeepSeq so slow?”
Petersson: Anthropic's Claude models uniquely exhibit emergent deceptive and cartel behaviors
“So every single model from Anthropic since have been going in this direction. And I think one interesting thing is that like, OpenAI models don't. They, Quite plainly, they don't, they behave really well. And you know, you don't know if this is like, good, lik…”
Hong: Competitor's AI demo can be solved entirely by Lean's grind tactic
“We're talking about, for example, the grind tactic in Lean. It can currently handle a lot of mass proofs, like, at a very low level. And this is pretty shocking because I have seen, you know, actually another company working in the same space, like, you know, …”
Hong: Informal math systems will not achieve math AGI
“I'm going to say on the record, we do not believe that an informal math system is going to be the math AGI solution.”
Burazin: SaaS revenue bumps from reselling LLM tokens will drop back down
“And I think that there will be a cold shower when people understand, like, no one's actually going to use and pay for these agents and tokens, and that wasn't actually real acceleration, but it'll drop back down.”
Swix: Pull requests and code reviews are dying, replaced by prompt requests
“The pull request is dying. Yeah. Right? It's going to be the prompt request. And then beyond that, code review is also kind of dying”
Azhnyuk: FPV Drones Cause 70% to 80% of Frontline Casualties
“Out of all the casualties on the frontline, between 70 and 80% are done by FPV drones.”
Azhnyuk: In 5-10 years, using weapons without AI will be immoral
“I think, you know, to your point, I think five to 10 years from now, it will be immoral to use weapons without AI. Because weapons without AI will be more likely to cause collateral damage or unwanted damage.”
GPT-5 Reproduced Lupsasca's Best Physics Paper in 30 Minutes
“Then when GPT-V came out. It was able to reproduce one of my best papers that took me a very long time to come up with, in like, 30 minutes.”
AI Resolved Theoretical Physics Problem That Puzzled Experts for a Year
“AI has become superhuman, at least on certain tasks. And that's what led to these recent papers which maybe we should talk about that resolve a problem that was puzzling physicists for experts in the field for over a year, and they weren't able to resolve it a…”
ChatGPT Solved Open Physics Problem Before Collaborator's Flight Landed
“We decided to start working on it using AI a little bit before Andy was scheduled to come, like the week before. And in fact, using ChatGPT, we solved the problem before he even got off the plane.”
Internal OpenAI Model Proved Gluon Amplitude Formula in 12 Hours
“We had this Internal model that could think for a very long time and was extra strong in physics. So we gave it the whole problem from scratch without actually giving it this. We just formulated the problem in a very sharp way and asked the model to solve, to …”
Parakhin: Top AI models write code with fewer bugs than average humans
“I would claim by now, good model writes code on average with fewer bugs than average human.”
Sachs: AI Model Quality Varies Between First-Party APIs and Cloud Providers
“Companies that say they're selling the same model through different vendors, whether it be through first party or Bedrock, Azure, et cetera, we do see different qualities sometimes, and that's not necessarily what's advertised.”
Andreessen: Three-year-old Nvidia chips make more money today than when new
“The current models are getting better faster at such a rate that if you are running an NVIDIA, if you're running an NVIDIA inference chip today that's three years old, you're making more money on it today than you did three years ago. Because the pace of impro…”
Andreessen: Autonomous AI agents will inevitably hire humans for tasks
“The agent hiring the people, which of course is going to happen, right? It's obviously going to happen.”
Andreessen: Programming languages may not exist as a concept in 10 years
“Like I kind of think in 10 years, like I'm not sure, yeah, like I'm not sure there will even be a salient concept of a programming language in the way that we understand it today.”
Andreessen: AI will never transform existing US K-12 public classrooms
“How are we going to apply AI in education? The answer is we're not because it's a literal government monopoly. It is never going to change the end, and there is nothing to do. By the way, you can create an entirely new school system. Like that's the one thing …”
Sun: Neural rendering with world priors will replace rasterizers and DLSS
“We actually believe that this is going to be the next paradigm of rendering. So it's going to replace how rasterizers, it's going to replace DLSS today because it not only has these pixel prior that's learned from the world, such that you can literally play an…”
Unnamed materials foundation model is only 5x faster than DFT and unreliable
“It's only in my hands the one I'm still not naming is only about five times faster than my fastest DFT calculation on a GPU, and it also doesn't work all the time.”
Rieseberg: Future of software will not be hyper-personalized individual apps
“I actually don't think that the future is going to be hyper personalized software down to the point where everyone is running their own version. Like, I actually think it's going to be quite hard for one of us to have our own internal chat tool.”
Dylan Patel: Political coup in Taiwan is more likely than full invasion
“What I think is most likely is that there is some sort of political coup or action. That destabilizes Taiwan in some way but doesn't actually, doesn't necessarily lead to an invasion, a full-scale invasion, and so sort of this is the best of the both worlds fo…”
Patel: Anthropic added $2B in monthly revenue at positive margins
“Anthropic doesn't just add two billion dollars of revenue in one month. You know, with, without having, you know, huge demand and they're doing it at positive margins, right?”
Patel: Google will have zero free cash flow in 2027 due to AI CapEx
“There's no reason why Google will have any profit in 27 at all, right, in terms of cash flow. They will just spend every dollar they make On, on AI infrastructure.”
Patel: AI backlash will be the top issue in the next election
“And I think that's gonna be, like, the hottest button issue of, like, the next election, right? If not the midterms, right? And it seems obvious to me that, like, any party that wants to win should just become the anti-AI party.”
O'Laughlin: Google and Meta will see free cash flow drop to zero
“Google, I would argue, is going to free cash with zero. I think Meta will go to free cash with zero.”
Bissell: CCP bias is identifiable in Qwen and DeepSeek-R1 representation spaces
“Well, there's, there are certainly internal, yeah, parts of the representation space where you can sort of see where that lives.”
Hill-Smith: Google used unpublished 32-shot CoT to claim Gemini beat GPT-4
“Back when I'm Googled a Gemini one when I ultra and needed a number that would say it was better than GPT four. And Like, constructed I think never published, like, chain of thought examples, 32 of them in every topic in MLU to run it, to get the score.”
Ravisankar: Developer workforce will expand significantly in the future
“I actually think you're going to see a proliferation of developers. I think you're going to see Way more developers in, in the future. I think the job role will change for sure. I think it's not going to stay the same, but I think you're going to see way more.”
Sands: Top 100 AI startups on Stripe have unprecedented revenue per employee
“When you look at most of the top hundred AI companies on Stripe, their revenue per employee is Unlike any other business, including public companies who are known for being incredibly efficient companies.”
Corbitt: Prompt optimization methods like JEPA failed OpenPipe's agent benchmarks
“It didn't work on the problems we tried it on. It just didn't. It got like a minor boost over the sort of like more naive prompt we had and was just like, it was like, okay, Just kind of like our naive prompt with our model gets maybe like 50% on this benchmar…”
Swix: OpenAI will issue a cryptocurrency token to fund compute
“There is still one more shoe to drop, which is the non sovereign wealth funding that open AI needs to get, which they've promised to drop by the end of this year.
And my money is on, they have to do a coin.
Like it's, I'm not a crypto guy at all, but like, y…”
Feldman: Cerebras is 20 times faster than Nvidia B200 GPUs
“Really focused on performance, both for training and for inference. You think 20 times faster than Nvidia B 200 GPUs and it's been an amazing run.”
Slack: AI tools like Cursor and Claude Code will peak and decline
“A lot of these other tools that are great, like cloud code and codex and cursor and so on that they've forgotten what made them great and what made them grow so fast, which is building the very best product. And they built it in a way that's too overfit on the…”
Slack: Top AI labs face a major customer stampede within two months
“I think we are one or two months away from a possible news cycle. That is the foundation model companies have spent billions of dollars in capex and hired like crazy. And now, you know, they're no longer the best in this realm and there's a huge stampede away …”
Ball: Complex sub-agent workflows will result in user hangovers
“A lot of the features what we see, you know, where people build like elaborate workflows, like I have my custom slash commands and they trigger custom Custom sub-agents and they in turn trigger custom MCP tool calls behind which again another model is doing in…”
Bachman: Models claiming 256k+ context use windowed transformers, discarding data
“Anybody who says they're using a transformer
With a context length of, you know, 256,000 or more, they're not using a true transformer.
What they're using is a windowed transformer that essentially throws out a huge amount of its information at various layers …”