George Hotz@geohot 
We will win self driving cars.
gnss top 100 smt top 1000 symbolic-execution top 1000

Expertise

Global rank

# 11,627

Location

San Diego, CA
Languages
TeX
OCaml
C
Ada
Haskell
C++
Python
Nim
D
Objecti...
Products
Jupyter...
Shell
Elixir
Topics
gnss
smt
symboli...
program...
gps
binary-...
Ethereu...
Blockch...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.