George Hotz | Programming | The Coq Files: sqrt(2) is irrational | Part1

Profile Picture
Published on Dec 15, 2018🌏 Public

Date of stream 14 Dec 2018. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: The Coq Files: sqrt(2) is irrational | Part1

Video archive:

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

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