George Hotz

@geohot

George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search

a year ago

George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath

a year ago

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

a year ago

George Hotz | Programming | getting GHIDRA to decompile COMPUTED_CALL

a year ago

#Ghidra #hacking #Python #C #C++

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

a year ago

#Coq #Metamath #Python

George Hotz | Programming | Exploring checkm8: a brand new iOS bootrom exploit by axi0mX

a year ago

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

a year ago

#Python #algorithms

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

a year ago

#algorithms #Python #C #C++

George Hotz | Programming | installing arch linux (real noob ish)

a year ago

George Hotz | Programming | learning unity on my new computer (real noob ish)

a year ago

George Hotz | Programming | minikeyvalue: a sub 1000 line key value store (for production!)

a year ago

#Python #algorithms

George Hotz | Programming | Improving and running QIRA from scratch! | Part3

2 years ago

George Hotz | Programming | Porting QIRA to python 3, and more? | Part2

2 years ago

George Hotz | Programming | Porting QIRA to python 3, and more? | Part1

2 years ago

George Hotz | Programming | Exploiting fontconfig CVE-2016-5384 with QIRA

2 years ago

#Python #qira #hacking

George Hotz | Programming | ipython | counterfactual regret minimization

2 years ago

George Hotz | Programming | The Coq Files: sqrt(2) is irrational | Part1

2 years ago

George Hotz | Programming | Context Tree Weighting: compression = AI | Part3

2 years ago

#Python #AI #algorithms