George Hotz | Programming | obscure languages sunday : LEAN metamath parser
Date of stream 24 Nov 2019. Live-stream chat added as Subtitles/CC – English (Twitch Chat). Stream title: obscure languages sunday : LEAN Video archive: …
Geohot's enthusiasm when he codes is fucking motivating. Gonna do a bunch of leetcode and work on my shitty startup MVP after an hour or two of this. Let's fucking gooo
Learn LEAN https://leanprover.github.io/documentation/ | Follow and subscribe https://twitch.tv/georgehotz and help George get Twitch Partner! | Programming archive🡿 https://www.youtube.com/playlist?list=PLzFUMGbVxlQs5s-LNAyKgcq5SL28ZLLKC
25:21 "I don't know a language with a longer hello world than this"
whoa, this dude's never used Java….?
must be nice….😐
I'm motivated
legal lean lmao
Nerd!
Interesting… I recently did some work in gamma
Clicked on this video because I recognized the slide design of my uni in the thumbnail lol
how did you compile a girlfriend? did you use c++ or python?
chewing ice
Smalltalk or pharo are nice languages. Like squeak.
127.0.0.1
if you have nothing, you appreciate everything
if you have everything, you appreciate nothing.
-George Hotz 2019.
What keyboard is he using
U r alian man
Shouldn't you be working on your autonomous car software????
girl – shes so hot George- very low voice yeeeahhhhh ………….BWAHAHHAHAHAHAHAHAHA 5:24:35
6 hours of nothing but minutes of google searches in one.
You know you are using an obscure language when the hello world example is giving you errors 🤣
He banned me for asking why he didnt play some music but i still love you george tw nick: trchaostr
lean? gonna be my primary tool
I would bunk my university just to watch this guy code.
Is this GUY a God?
This guy really motivates me
I must be lying if I say I saw the whole video 😂😂
he has a cam girl Lmao and Alex caught.
ЧУВАК-ТЫ ЛУЧШИЙ В СВОЕМ СЕГМЕНТЕ ПРИВЕТ ИЗ РАШКИ БЕРЕГИ СЕБЯ!
Happiness = Geohot stream notifications
He definitely smashed @5:16:58
Third duh
Geohot's enthusiasm when he codes is fucking motivating. Gonna do a bunch of leetcode and work on my shitty startup MVP after an hour or two of this. Let's fucking gooo
Second
First