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

Profile Picture
Published on Nov 11, 2019🌏 Public

Date of stream 10 and 11 Nov 2019. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: - twitchcoq : pt 4, metamath says 2+2=4 | - twitchcoq : pt 5, getting computers to work for you aka program search (redemption)

Video archive:

We archive George Hotz videos for fun. Follow for notifications:

We are not affiliated with comma.ai. Official communication channels: