Danny Hutson

3 thoughts on “George Hotz | Programming | twitchcoq, writing a language we can prove things in

  1. New project https://backspace.ai | Follow and subscribe https://www.twitch.tv/georgehotz for more live streams | https://github.com/geohot/twitchcoq | Programming archive🡿 https://www.youtube.com/playlist?list=PLzFUMGbVxlQs5s-LNAyKgcq5SL28ZLLKC

Leave a Reply

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