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

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

65 comments

  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

  2. Hello I'm new to programming. I was wondering if you have any advice on how to improve at programming?

    How does one motivate oneself to get good at programming or how can I make it fun?
    Thanks

  3. The conference is a Fucking Scam, those dudes are trying only trying to promote their own bullshit in the name of "conference".

  4. Eu desbloquear um iPhone x , a 8 meses. Com um simples gesto. Mas foi para salvar a vida do psiquiatra pois ele estava rui

  5. DAMN!! Anyone notices that whenever George saves a file with ":w" he always searches for 'asdf' first (/asdf)? (try playing 9:44 in slow speed)
    I wonder why he does that???

  6. Why I always see somebody ask Geohot what is your keyboard? It probably matters for programmers, coders, software engineers, etc., but I don't think there is a standard answer for everyone.

  7. Love watching geohot work, gets me inspired to keep learning to code. Just one thing: could the twitch chat comments be shown longer on screen? I couldn't read anything longer than a sentence without pausing. Look forward to the next stream!

  8. I wanna know if he's coding and making sure they work using the terminal? If so, I want to know how'd he do it cause I wanna know lol pls pls

Leave a Reply

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