George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath
George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath
Transcript
tharda18: hi chelsiquixote: morning George foxubu: Sunday 7:00 AM FargioFarmani: The champ is back imaginenation: damn it's georgeee steinerl: hi guys! forkdb: Hi zgamer0123: heyy foxubu: Is only my stream frozen? nightknight0000: 3 FPS tharda18: no alaouiib: frozen forkdb: Big fan... what an inspiration you are... programmerbugx: hi, looking great... 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 📚
What Was Showcased at the Comma AI Hackathon?
george hotz archive
What Lessons Do High School Experiences Teach About Adulthood?
george hotz archive
Why Is AMD's Software Struggling and Can It Be Fixed?
george hotz archive
How Does Tinygrad Documentation Help Developers?
george hotz archive
How Does a Machine Learning Driving Simulator Work?
george hotz archive
George Hotz | Programming | advent of scala | Advent of Code | Scala | ChatGPT | Twitter | Part 1
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