George Hotz | Programming | twitchcoq, writing a language we can prove things in
Date of stream 6 Oct 2019. Live-stream chat added as Subtitles/CC – English (Twitch Chat). Stream title: twitchcoq, writing a language we can prove things in …
my allnighter was done just as the video finished, thx my guy George ::)
haha why is George doing math all of a sudden?
Do you exercise?
Dear please make a video about mitasploit exploits development (just like 0day)
How would you synthethise programs with MCMC though? If you are generating them as trees they have to be of static size. Might as well just train neural nets at that point.
can someone explain wtf is going on in this video
I download each stream and i play'em while coding :3 it encourage me to code more <3 ! thnx @geohot
George switch from Spectacle to Rectangle, works the same but better
not only love watching him code, but his rapping skills tho ♥️
Does anybody know what chair is that? Looks super comfy
His vids need time stamps lol
is the whole point of backspace.ai to get to an artificial general intelligence?
Backspace ai is what the kids these days would call lit.
printf ("i am hackerman");
Why not to use Mathematica?
damm man,get a girl boii
Stop asking which keyboard: it's the HHKB Pro 2 White without letter-prints.
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
When you walk into the room 3 minutes in and he's just shaving himself…
Anybody knows what keyboard does he use?
I love it, thanks for uploading :3
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!
nice haircut
Raskolnikov waits for an e-mail.
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.
Good rapping skills
Yo yo yo
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???
U can win noble prize!
Am i the only idiot who doesn't know what the hell is going on??
I’m just tryin to learn node.js
I watch these 3+ hours streams on weekends so see ya on saturday
damn geo hotz fresh cut
Get that Yerba Maté bro
I just watched a guy shave, rap, then code….
Linux, Windows, Ios, Unix e etc, todos ótimos pois geram empregos.
Eu desbloquear um iPhone x , a 8 meses. Com um simples gesto. Mas foi para salvar a vida do psiquiatra pois ele estava rui
true is not false peoples: Off course – its obvious. geohot: we need to prove it.
I don't know what the hell he was doing 😂
Georgi needs a matlab help to define some concepts
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
Free the bodies from the darkness sorry
Everybody talks about how fast he codes but nobody talks about how he sits straight for 8 hours
why does he have so many subscribers?
Why rant 3:36:08
my allnighter was done just as the video finished, thx my guy George ::)
haha why is George doing math all of a sudden?
Do you exercise?
Dear please make a video about mitasploit exploits development (just like 0day)
How would you synthethise programs with MCMC though? If you are generating them as trees they have to be of static size. Might as well just train neural nets at that point.
can someone explain wtf is going on in this video
I download each stream and i play'em while coding :3 it encourage me to code more <3 ! thnx @geohot
George switch from Spectacle to Rectangle, works the same but better
not only love watching him code, but his rapping skills tho ♥️
Does anybody know what chair is that? Looks super comfy
His vids need time stamps lol
is the whole point of backspace.ai to get to an artificial general intelligence?
Backspace ai is what the kids these days would call lit.
printf ("i am hackerman");
Why not to use Mathematica?
damm man,get a girl boii
Stop asking which keyboard: it's the HHKB Pro 2 White without letter-prints.
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
When you walk into the room 3 minutes in and he's just shaving himself…
Anybody knows what keyboard does he use?
I love it, thanks for uploading :3
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!
nice haircut
Raskolnikov waits for an e-mail.
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.
Good rapping skills
Yo yo yo
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???
U can win noble prize!
Am i the only idiot who doesn't know what the hell is going on??
I’m just tryin to learn node.js
I watch these 3+ hours streams on weekends so see ya on saturday
damn geo hotz fresh cut
Get that Yerba Maté bro
I just watched a guy shave, rap, then code….
Linux, Windows, Ios, Unix e etc, todos ótimos pois geram empregos.
Eu desbloquear um iPhone x , a 8 meses. Com um simples gesto. Mas foi para salvar a vida do psiquiatra pois ele estava rui
true is not false
peoples: Off course – its obvious.
geohot: we need to prove it.
I don't know what the hell he was doing 😂
Georgi needs a matlab help to define some concepts