George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search

26.5K views
•
November 11, 2019
by
george hotz archive
YouTube video player
George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search

Transcript

shutage: hi shutage: say hi back xaviergregor: hello programmer42: hey FargioFarmani: Please don't abort the stream like last time @georgehotz amratesh: George acknowledge me please? FigurativelyVyres: First time I'm early to a stream Pog programmer42: what are you working on ? rawfael: Rawfael subscribed with Twitch Prime. benchai18: He’s alive am... Read More

Explore YouTube Video Summarizer or Get YouTube Transcript Extractor

Read in Other Languages (beta)

English

Share This Summary 📚

Explore More Summaries from george hotz archive 📚

George Hotz | Programming | advent of scala | Advent of Code | Scala | ChatGPT | Twitter | Part 1 thumbnail
George Hotz | Programming | advent of scala | Advent of Code | Scala | ChatGPT | Twitter | Part 1
george hotz archive
Why Is AMD's Software Struggling and Can It Be Fixed? thumbnail
Why Is AMD's Software Struggling and Can It Be Fixed?
george hotz archive
George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software) thumbnail
George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
george hotz archive
What Lessons Do High School Experiences Teach About Adulthood? thumbnail
What Lessons Do High School Experiences Teach About Adulthood?
george hotz archive
How Does Tinygrad Documentation Help Developers? thumbnail
How Does Tinygrad Documentation Help Developers?
george hotz archive
How Does a Machine Learning Driving Simulator Work? thumbnail
How Does a Machine Learning Driving Simulator Work?
george hotz archive