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.

2statements match

2resolved → 0open claims → 1supported → 0contradicted →

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

Assertion Supported

Hotz: Tinygrad runs all ML models with only 25 primitive operations

“Tiny grad is, we are going to make a risk offset for all ML models. And yeah, it can run all ML models with basically 25 instead of the two 50 of XLA or PrimTorch. So about 10 X less complex.”

George Hotz Jun 20, 2023 ▶ 3:51 Ep 18: Petaflops to the People — with George Hotz of tinycorp

Assertion Partly supported

Hotz: Google's TPU compiler is a closed-source 32MB binary blob

“Not only is the chip closed source, But all of XLA is open source, but the XLA to TPU compiler is a 32 megabyte binary blob called lib TPU on Google's cloud instances. It's all closed source.”

George Hotz Jun 20, 2023 ▶ 10:45 Ep 18: Petaflops to the People — with George Hotz of tinycorp

Turn any episode into a week of clips.

This entire site, over 200 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

The Ledger

Turn any episode into a week of clips.