George Hotz | Programming | twitchcoq, writing a language we can prove things in

Published 2019-10-07

Download video MP4 360p

Recommendations

3:25:29

George Hotz | to organize the world's information | Science & Technology
4:01:25

George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
3:31:46

George Hotz | Researching | multiGPU with HIP (or maybe without HIP) | HSA | HIP Graph | Part 1
3:48:39

George Hotz | Programming | MNIST classifier from numpy scratch! | Science & Technology
2:54:07

George Hotz | Programming | writing a fuzzer and not getting triggered when the AMD GPU crashes UMR
2:58:32

George Hotz | Exploring | sniffing NVIDIA's ioctls | open-gpu-kernel-modules | DEBUG | PTX | CUDA
1:57:50

Elon Musk joins George Hotz’s Twitter Space to discuss software stacks and Twitter
3:33:20

George Hotz | Researching | Chatting | rewriting the linearizer (tinygrad) | TVM | People | Part 1
54:28

*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023
4:07:22

George Hotz | Programming | Exploiting fontconfig CVE-2016-5384 with QIRA
3:49:59

George Hotz | Programming | we do coronavirus science aka hacking nature #lockdown part1 | COVID-19
44:54

Max Tegmark | On superhuman AI, future architectures, and the meaning of human existence
5:23:40

George Hotz | Programming | Exploring checkm8: a brand new iOS bootrom exploit by axi0mX
1:58:38

Geoffrey Hinton | Will digital intelligence replace biological intelligence?
4:00:48

George Hotz | Programming | multiGPU with HIP (or maybe without HIP) | HSA_DISABLE_CACHE=1 | Part 2
5:02:09

George Hotz | Programming | twitchchess | a simple neural chess AI | Part1
1:46:05

George Hotz | Programming | installing arch linux (real noob ish)
5:00:36

George Hotz | Programming | minikeyvalue: a sub 1000 line key value store (for production!)
5:10:16

George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath

Similar videos