GitDuck may use cookies in order to provide its service and features. By continuing to browse the site you are agreeing to our use of cookies.
Check our Privacy Policy for more information.
Close
×
FAQ
About
Blog
Login
Sign up
Menu icon
About
Security
We are hiring
Login
Sign up
George Hotz
@geohot
YouTube icon
George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search
a year ago
#Python
George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath
a year ago
#Python
George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
a year ago
#Python
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
#iOS
#hacking
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)
2 years ago
#Linux
George Hotz | Programming | learning unity on my new computer (real noob ish)
2 years ago
#Unity
#3d
George Hotz | Programming | minikeyvalue: a sub 1000 line key value store (for production!)
2 years ago
#Python
#algorithms
George Hotz | Programming | Improving and running QIRA from scratch! | Part3
2 years ago
#Python
#qira
George Hotz | Programming | Porting QIRA to python 3, and more? | Part2
2 years ago
#Python
#qira
George Hotz | Programming | Porting QIRA to python 3, and more? | Part1
2 years ago
#Python
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
#Python
George Hotz | Programming | The Coq Files: sqrt(2) is irrational | Part1
2 years ago
#Python
George Hotz | Programming | Context Tree Weighting: compression = AI | Part3
2 years ago
#Python
#AI
#algorithms
Load more