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
shutage: yoyo yoyo_brobro: yoyo_brobro subscribed at Tier 1. They've subscribed for 6 months, currently on a 6 month streak! shutage: more coq Kreygasm equalizer_____: Hello form Russia vlntnstts: no way you are alive slow_manatee: oi bruv eax_ebx: Еееее бой hailstorm1422: 🃏 vossnorway800: What up vlntnstts: привет лол superman03: hola LaheyFPS: W... Read More
Share This Summary 📚
Explore More Summaries from george hotz archive 📚
comma ai Good old driving scopie
george hotz archive
George Hotz | Programming | Reading ML paper: NICE (Non-linear Independent Component Estimation)
george hotz archive
George Hotz | Researching | same thing we do every weekend, documenting the AMD 7900XTX | Part 1
george hotz archive
comma ai Going through the GM investor deck
george hotz archive
comma ai Starting our trip with openpilot 0.4
george hotz archive
George Hotz | Programming | Hack The Box | ctf practice for skill (should tomcr00se return?)
george hotz archive