George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

shutage: yoyo yoyo_brobro: yoyo_brobro subscribed at Tier 1. They’ve subscribed for 6 months, currently on a 6 month streak! shutage: more coq Kreygasm equalizer_____: Hello form Russia vlntnstts: no way you are alive slow_manatee: oi bruv eax_ebx: Еееее бой hailstorm1422: 🃏 vossnorway800: What up vlntnstts: привет лол superman03: hola LaheyFPS: What’s today’s agenda? @georgehotz tonitcom: […]

Read More

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

xNoury: oh hello esence: yo xNoury: how are you doing? takkeo: Yo turboooooo1: Hey George knilecrack: wsupppp Shanmukhosiris: hiiiiiii knilecrack: 😀 SlayerX1: HeyGuys Equalizer_olo: Привет the_awoken1: heeey gorge alienware997: Greetings from Germany! ftt0717: What’s up??? knilecrack: you didn’t get banned mtasic85: Hello guys 0xkuj: Hihihi kornez: NEW RAP SONG? LUL liqo13: woaow wee, are we […]

Read More

George Hotz | Programming | Adding hashing support to minikeyvalue and some LeetCode

mik3xx: hey George it’s my birthday. how u doin! inov8r: Happy Birthday! kornez: Yo HeyGuys ImAventus: Ayoo stupremee: hey ProfessorMagikarp0: hi geo! PrideFlag PrideSaba inov8r: Lol! yousef19961: To what up yousef19961: Yo kornez: LUL kroanke: “they give me money” msalvy: What’s up George plotzera: ayy whaddup foxubu: Yay! johnny_thehobo: actually streaming PogChamp DemoFreak: HeyGuys CheeseburgerB: […]

Read More

George Hotz | Programming | HackerRank warm up LETS GO | Educational Game

George Hotz | Programming | HackerRank warm up LETS GO | Educational Game

clappersama: hi gmabreak: hi$ ajgorspl: yooo codsane: I come in and hear “and I’m never gonna stream again” monkaS Klingenwetzer: C 🙂 erichtp: LETS GOOOOO luandevecchi: HeyGuys logi6000: yo rafbyraf: Heeeyyyy Quev1337: PogChamp clappersama: @georgehotz will you hack iphone if you you get 1* million usd JaeGeeTee: Hello, World! logi6000: I cought a stream finally […]

Read More