George Hotz

@geohot

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

2 months ago

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

3 months ago

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

3 months ago

George Hotz | Programming | getting GHIDRA to decompile COMPUTED_CALL

3 months ago

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

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

4 months ago

#Coq #Metamath #Python

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

4 months ago

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

4 months ago

#Python #algorithms

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

5 months ago

#algorithms #Python #C #C++

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

8 months ago

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

8 months ago

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

10 months ago

#Python #algorithms

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

10 months ago

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

10 months ago

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

10 months ago

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

10 months ago

#Python #qira #hacking

George Hotz | Programming | ipython | counterfactual regret minimization

a year ago

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

a year ago

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

a year ago

#Python #AI #algorithms