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





Comments
  1. https://github.com/geohot/twitchcoq | twitchcoq — a backspace.ai project | Follow and subscribe https://twitch.tv/georgehotz and help George get Twitch Partner! Apologies for late upload. 00:00 – 06:01:01 twitchcoq : pt 4, metamath says 2+2=4 | 06:01:01 – 07:31:04 twitchcoq : pt 5, getting computers to work for you aka program search (redemption) | Enjoy! | Programming archive🡿 https://www.youtube.com/playlist?list=PLzFUMGbVxlQs5s-LNAyKgcq5SL28ZLLKC

Leave a Reply

Your email address will not be published. Required fields are marked *