George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software) Published 2019-11-02 Download video MP4 360p Recommendations 5:10:16 George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath 2:25:57 George Hotz | Just Chatting | talking hour | Science & Technology 19:17 IS THIS SOFTWARE DEV? | Prime Reacts 11:14 The Man Who Solved the World’s Hardest Math Problem 19:14 2022 - Non-Euclidean Doom: what happens to a game when pi is not 3.14159… 16:14 Why Does Scrum Make Programmers HATE Coding? 3:31:46 George Hotz | Researching | multiGPU with HIP (or maybe without HIP) | HSA | HIP Graph | Part 1 21:20 Cracking Enigma in 2021 - Computerphile 2:58:32 George Hotz | Exploring | sniffing NVIDIA's ioctls | open-gpu-kernel-modules | DEBUG | PTX | CUDA 53:25 The Only Unbreakable Law 1:13:07 George Hotz | Programming | Context Tree Weighting: compression = AI | Part1 4:07:22 George Hotz | Programming | Exploiting fontconfig CVE-2016-5384 with QIRA 08:49 EA Won't Let Me Play This Game - So I Hacked It 42:21 Where Does Bad Code Come From? 40:18 Generative AI Has Peaked? | Prime Reacts 3:33:20 George Hotz | Researching | Chatting | rewriting the linearizer (tinygrad) | TVM | People | Part 1 2:54:07 George Hotz | Programming | writing a fuzzer and not getting triggered when the AMD GPU crashes UMR 28:22 Clean Code is SLOW But REQUIRED? | Prime Reacts 16:48 How not to be a noob - George Hotz Similar videos 7:56:16 George Hotz | Programming | twitchcoq, writing a language we can prove things in 7:31:05 George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search 4:02:26 George Hotz | Programming | The Coq Files: sqrt(2) is irrational | Part1 3:39:26 George Hotz | Programming | busy beaver five pt 2 | Science & Technology | part2 5:12:10 George Hotz | Programming | HackerRank | simple skills sunday regexes and reacts | twitchtactoe IPFS 06:13 BITBOY Gets Himself Arrested And Now Released On Bail! *HERE'S WHAT YOU NEED TO KNOW* 2:47:02 George Hotz | Programming | Adding hashing support to minikeyvalue and some LeetCode 5:30:24 George Hotz | Programming | Hack The Box | ctf practice for skill (should tomcr00se return?) 5:51:03 George Hotz | Programming | HackerRank warm up LETS GO | Educational Game 00:03 asmr video read dis 4:08:34 George Hotz | Programming | comma ai | work GMLAN bitbang CAN (Gmbitbang) | Sunday special | Part1 1:46:05 George Hotz | Programming | installing arch linux (real noob ish) 1:47:10 George Hotz | Programming | Context Tree Weighting: compression = AI | Part3 1:45:26 George Hotz | Programming | getting GHIDRA to decompile COMPUTED_CALL 5:25:18 comma.ai George Hotz working on GMLAN bitbang CAN *complete* More results