George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software) | Summary and Q&A
George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
TL;DR
George Hotz discusses topics such as category theory, automation, and the impact of AI on jobs.
Transcript
Read and summarize the transcript of this video on Glasp Reader (beta).
Share This Summary 📚
Explore More Summaries from george hotz archive 📚
George Hotz | Programming | can tinygrad whisper? | AMD Rant | Giving up on AMD | Speech to Text
george hotz archive
George Hotz | Programming | cheapeth.org : Deploying optimism on cheapeth | Science & Technology
george hotz archive
George Hotz | Programming | stable diffusion, in tinygrad?!? can it happen? pt 2 | Part2
george hotz archive
comma ai | How it's made | Robbe Derks | COMMA_CON talks | Hardware Engineer | new hardware comma 3X
george hotz archive
George Hotz | Programming | obscure languages sunday : LEAN metamath parser
george hotz archive
George Hotz | Programming | Adding hashing support to minikeyvalue and some LeetCode
george hotz archive