George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
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
Install to Summarize YouTube Videos and Get Transcripts
Explore YouTube Video Summarizer or Get YouTube Transcript Extractor
Read in Other Languages (beta)
Share This Summary 📚
Summarize YouTube Videos and Get Video Transcripts with 1-Click
Download browser extensions on:
Try YouTube Summary with ChatGPT & Claude or YouTube Transcript Generator
Explore More Summaries from george hotz archive 📚
George Hotz | Programming | advent of scala | Advent of Code | Scala | ChatGPT | Twitter | Part 1
george hotz archive
comma ai | George Hotz | comma two BLACK FRIDAY SALE openpilot 0.8 launch New Merch! | comma.ai/shop
george hotz archive
comma ai Presentation where it’s like you are in Omaha with us
george hotz archive
George Hotz | Programming | ripping out all of AMD's userspace, AMDGPU ioctls | GPU memory | HSA KFD
george hotz archive
comma ai | George Hotz | Hackathon attendees got a ride with openpilot | unplanned chill drive
george hotz archive
comma ai | George Hotz | car harness announcement and overview
george hotz archive
Summarize YouTube Videos and Get Video Transcripts with 1-Click
Download browser extensions on:
Try YouTube Summary with ChatGPT & Claude or YouTube Transcript Generator