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

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:
- https://youtube.com/commaaiarchive/playlists
Source files:
- https://github.com/geohot/twitchcoq
New project:
- https://backspace.ai
Follow for notifications:
- https://twitch.tv/georgehotz
Subscribe to support:
- https://twitch.tv/products/tomcr00s3_3000
- https://twitch.tv/products/georgehotz_3000

We archive George Hotz videos for fun.
Follow for notifications:
- https://twitter.com/commaaiarchive

We are not affiliated with comma.ai.
Official communication channels:
- https://comma.ai
- https://twitter.com/comma_ai
- https://pscp.tv/comma_ai
- https://youtube.com/commaai
- https://github.com/commaai
- https://discord.comma.ai
- https://community.comma.ai
- https://comma.ai/jobs
- https://comma.ai/shop

Дата на публикация: 9 октомври, 2019
Категория: Друго