Radio Inspire

How To Learn Sign Language

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


47 Replies to “George Hotz | Programming | twitchcoq, writing a language we can prove things in”

Leave a Reply

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