George Hotz | Programming | twitchcoq, writing a language we can prove things in

Profile Picture
- Published on Oct 7, 2019馃審 Public

Date of stream 6 Oct 2019. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: twitchcoq, writing a language we can prove things in

Video archive:

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

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