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

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:

• https://youtube.com/commaaiarchive/pl... Source files:
• https://github.com/geohot/twitchcoq Software:
• https://en.wikipedia.org/wiki/Metamath Follow for notifications:
• https://twitch.tv/georgehotz Subscribe to support:
• https://twitch.tv/products/tomcr00s3_...
• https://twitch.tv/products/georgehotz...

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