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 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
Karpinski: Alternating language layers in AI frameworks prevents compiler optimizations
“They have what I've, I would describe as a sandwich problem, which is that you end up sandwiching a lot of system code with user code, and then, like, adding more and more layers of that, and as you've sandwiched, like, you know, seven or eight layers of that,…”
Karpinski: Automatic dynamic code translation fails due to edge cases
“The trouble is when you get into automatic translation, it's always the corner cases that kill you. And the corner cases that kill you with automatic translation are actually exactly the reasons why you can't just sit down and be like, oh, let's just make Pyth…”