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 4 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
Angelopoulos: Kimi K3 Beat Top US Closed Models in Web Development
“And for the first time ever, we saw a couple of weeks ago that Kimi K three actually beat the best closed source American models on a, you know, pretty important subset of tasks, for example, front end coding, like web development, which a huge fraction of dev…”
Angelopoulos: Thinking Machines' Inkling ranks #1 in US open source, behind nine Chinese models
“And within that time, they'd become the number one American open source model. But then the less generous take would be the companies existed for a year and a half. And then they've come up with, yes, the number one American open source, but there's nine Chine…”
Angelopoulos: Arena has 30M+ monthly visitors, bigger than Hugging Face and xAI
“People don't know this, but Arena's one of the largest consumer AI apps in the world. We're bigger than, like, XAI. We're bigger than, like, Hugging Face, and Manus, and GenSpark, where it's so massive, like if you, like outside in, it's like 30 plus million m…”