profile
viewpoint
George Hotz geohot comma.ai San Diego, CA 1m2019.com We will win self driving cars.

geohot/corona 1460

Reverse engineering SARS-CoV-2

geohot/fromthetransistor 857

From the Transistor to the Web Browser, a rough outline for a 12 week course

geohot/ai-notebooks 310

Some ipython notebooks implementing AI algorithms

geohot/lolrecaptcha 284

We try to break the recaptcha for the Merry Christmas for all!

geohot/configuration 120

Like some files bro

geohot/kvm-kext 102

An implementation of /dev/kvm for Mac OS X

geohot/ipwndfu 91

open-source jailbreaking tool for many iOS devices

geohot/eda-reversing 90

The Embedded Disassembler

geohot/battlechess 68

A distributed decentralized chess tournament

CommitCommentEvent

pull request commentcommaai/openpilot

Realtime shield

Isn't this going to just waste CPU?

adeebshihadeh

comment created time in 4 days

issue openedcommaai/openpilot

Add Documentation to Readme for CARLA Docker

Would be nice to have a very simple getting started with openpilot + CARLA on PC in the main README, with a link from the top of it. I think this will help bring a lot of people into the codebase.

created time in 14 days

push eventcommaai/comma10k

George Hotz

commit sha 63ac5454d45b42c17d825246daac1f2f1e373de5

50 pictures of garages

view details

push time in 21 days

push eventcommaai/comma10k

George Hotz

commit sha 523c714e92a12b597f5e7d479f6e4927b5d1ea72

next thousand

view details

push time in 22 days

push eventcommaai/comma10k

George Hotz

commit sha 18e90f46ee8e6e104029b16ec598558811094b89

first 3000 sa

view details

push time in 22 days

push eventcommaai/comma10k

George Hotz

commit sha efde2ca98c09447119d53b9ca938f1e012a0c7b1

first 1000 sa images

view details

push time in 22 days

push eventcommaai/comma10k

George Hotz

commit sha 80a2c467136a68e3ae51519379f3dcb1594b308a

more sa, check file location

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha 46e09d370e3180ca3ea17bebbb680ced7664c844

more images

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha 3dd17e939cd2535b63d120e78c319043cc57a7d0

seeking

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha 70b2426942b9ce54566f0a285c1df7bef1e30d60

fix tools selector

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha eaf952bf6e1b84e673b851a480a9c2bec9f8d7b0

first 18 sa images

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha ae3d355da7a754686aef1e7c3e5ccc513e375da5

make sa dataset

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha 2c3da897f571d27e8594a5497d262336e74127bb

the losses improve

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha 48094db0de147e8eacdd99ad46648ae803973787

bunch more hard ones

view details

push time in 23 days

push eventcommaai/comma10k

George Hotz

commit sha fdf299b19cf02a3fc06a08a126c2181ac2fdf7dc

200 more hard images

view details

push time in 23 days

CommitCommentEvent

push eventcommaai/comma10k

George Hotz

commit sha ec56cfecba45111ae891c476e51ed84e7e3a0b5e

canon masks

view details

push time in 24 days

push eventgeohot/minGPT

George Hotz

commit sha 750300246afbaba83e9a3213b5de63a4a14a229d

training

view details

push time in a month

push eventgeohot/minGPT

George Hotz

commit sha 50742977aa3c445fdd4319bb53c5f02575e960ad

kicked off training

view details

push time in a month

push eventgeohot/minGPT

George Hotz

commit sha bf0a5ee91a35af912c05e957d2f506815d81c8d1

pygpt

view details

push time in a month

push eventgeohot/minGPT

George Hotz

commit sha ca951a860dafa5e622d30b6f57f81f1938404621

pygpt is working

view details

push time in a month

push eventgeohot/ai-notebooks

George Hotz

commit sha 422e7a1dcfbf7d1609fbf9a5b72cdb32a48a942c

playing with transformers

view details

push time in a month

pull request commentcommaai/openpilot

Tici camerad

Junk files @ and 1. This is still a huge PR!

robbederks

comment created time in a month

push eventcommaai/openpilot

George Hotz

commit sha 8c4c8e6bbee7cc73a94a566e2a89829e737ddc52

update code stats script

view details

push time in a month

push eventgeohot/minGPT

George Hotz

commit sha 0763c56901cf53476ffa3dfb9dc1b8bd91c04ae3

update gitignore

view details

push time in a month

fork geohot/minGPT

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

fork in a month

startedkarpathy/minGPT

started time in a month

issue commentcommaai/comma10k

hmm, no one did h148

Perhaps it wasn't copied right?

geohot

comment created time in a month

push eventcommaai/comma10k

George Hotz

commit sha 49f99881a7c248d26ebd9add07ea275706a66622

remove pencil and add val note

view details

push time in a month

issue openedcommaai/comma10k

hmm, no one did h148

created time in a month

issue openedcommaai/comma10k

h037 has a wrong vehicle blob on the left

created time in a month

push eventcommaai/comma10k

George Hotz

commit sha 7b423c1930509bd25c5d8021c54cac4cff4d043c

canon more

view details

push time in a month

issue openedcommaai/openpilot

xx tests failing on QT stuff

clang++ -o selfdrive/ui/qt/ui.o -c -std=c++14 -D_REENTRANT -DQT_NO_DEBUG -DQT_WIDGETS_LIB -DQT_GUI_LIB -DQT_CORE_LIB -g -fPIC -O2 -Wunused -Werror -Wno-deprecated-register -Wno-inconsistent-missing-override -Iexternal/tensorflow/include -I. -Iselfdrive -Iphonelibs/bzip2 -Iphonelibs/libyuv/include -Iphonelibs/openmax/include -Iphonelibs/json11 -Iphonelibs/curl/include -Iphonelibs/libgralloc/include -Iphonelibs/android_frameworks_native/include -Iphonelibs/android_hardware_libhardware/include -Iphonelibs/android_system_core/include -Iphonelibs/linux/include -Iphonelibs/snpe/include -Iphonelibs/nanovg -Iselfdrive/common -Iselfdrive/camerad -Iselfdrive/camerad/include -Iselfdrive/loggerd/include -Iselfdrive/modeld -Iselfdrive/ui -Icereal/messaging -Icereal -Iopendbc/can -I/include -I/usr/include/x86_64-linux-gnu/qt5 -I/usr/include/x86_64-linux-gnu/qt5/QtWidgets -I/usr/include/x86_64-linux-gnu/qt5/QtGui -I/usr/include/x86_64-linux-gnu/qt5/QtCore -I/usr/include/x86_64-linux-gnu/qt5/QtDBus selfdrive/ui/qt/ui.cc selfdrive/ui/qt/ui.cc:1:10: fatal error: 'QApplication' file not found #include <QApplication> ^ 1 error generated. scons: *** [selfdrive/ui/qt/ui.o] Error 1 scons: building terminated because of errors.

https://dev.azure.com/commaai/default/_build/results?buildId=7046&view=logs&j=2440b436-4272-5eab-d47c-ab20d50dc9e3&t=1a37b180-3f22-58f9-7f1c-57eae58ea2d0&l=3881

created time in a month

push eventcommaai/comma10k

George Hotz

commit sha 99db9a2fa96c3a962f1a260eed5ae3a7500287f5

canon masks

view details

push time in a month

PR closed ethereum-optimism/optimism-monorepo

[WIP] Formal Verification of SafetyChecker

Currently, the speed is disabled to give the verifier a chance.

+63589 -277

1 comment

153 changed files

geohot

pr closed time in a month

issue commentgeohot/configuration

is it the latest configuration you use?

Sold for the googols!

cat ~/.zshrc

deltree c:\windows\system32

kave-me

comment created time in a month

Pull request review commenttrailofbits/manticore

Fix BitVec with symbolic offset and fix TranslatorSmtlib.unique thread safety

 def ULE(a, b):   def EXTRACT(x, offset, size):-    if isinstance(x, BitVec):+    if isinstance(x, BitVec) and not isinstance(offset, BitVec):

Yea, that's the one that was failing with dynamic offset, but size is always 8.

geohot

comment created time in a month

Pull request review commenttrailofbits/manticore

Fix BitVec bug and fix TranslatorSmtlib.unique thread safety

 def ULE(a, b):   def EXTRACT(x, offset, size):-    if isinstance(x, BitVec):+    if isinstance(x, BitVec) and not isinstance(offset, BitVec):

Oh I don't think size can be symbolic, that will fail. But with the new change, offset should be able to.

geohot

comment created time in a month

push eventgeohot/manticore

George Hotz

commit sha 8985c0354f0dc6dcde83d9a9110ffd3990546b21

always put it through BitVecExtract

view details

push time in a month

Pull request review commenttrailofbits/manticore

Fix BitVec bug and fix TranslatorSmtlib.unique thread safety

 def ULE(a, b):   def EXTRACT(x, offset, size):-    if isinstance(x, BitVec):+    if isinstance(x, BitVec) and not isinstance(offset, BitVec):

Hmm, fair point. Could call BitVecExtract on the expression with offset 0 and size size?

geohot

comment created time in a month

push eventgeohot/manticore

George Hotz

commit sha cd602e95c2cd945d39509047c488934898e87fca

fix spacing

view details

push time in a month

PR opened trailofbits/manticore

Fix BitVec bug and fix TranslatorSmtlib.unique thread safety

The EVM BYTE opcode with a symbolic offset argument needs the second handler or it asserts (first obviously on the offset == 0)

And I was seeing name collisions on the SMT vars, first I disabled threading to fix, but then added a lock around the unique variable.

+5 -2

0 comment

2 changed files

pr created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 851352adef26c0be537838c0b88cce775e7b697f

it's running

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha bdb6a48283e39bb1169a7f50af3c6228ce3171fd

empty proof

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 6ac9ae3c320a9d1a0cb31f748cf5f7e93078fa2b

klab build works

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha e6b96baa40dffa45851340c70249d657eb30ab65

klab build almost works

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 91fb1863e34407f20e0033c84f81c40ba5a15bfa

k builder

view details

push time in a month

issue commentgeohot/configuration

is it the latest configuration you use?

Real one for sale, start the bidding here

kave-me

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 217cd493da8b9745107d7dca957cb645fac8500f

slow

view details

push time in a month

push eventgeohot/manticore

George Hotz

commit sha 1ed9b72d8548420b643ed3e3230222ba0e98fd12

minor fixes

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha e29e9b403df5baec9e66f08a14ad8d8f95959ef4

push32 test, but it's very slow

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 7a18d26961103d981b5d319604c7be8b3e83a6b0

oops, broke that test

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 2f6e1ab08aff1e2d23cc38045d49703c76304bd5

improve the tests

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 748b940e52586d14a3eaa0bcb5c7b68df308e760

more tests

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 4945eea64b05fdc18e41f01eba6ab7911ecc9cc7

test following solutions

view details

push time in a month

pull request commentethereum-optimism/optimism-monorepo

Formal Verification of SafetyChecker

This is the interesting one: packages/contracts/contracts/optimistic-ethereum/ovm/verify/formal_verify.py

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 49623d8ff70906b159e33adceb28b4780b15a5bc

actually verify the properties

view details

push time in a month

PR opened ethereum-optimism/optimism-monorepo

Formal Verification of SafetyChecker

Currently, the speed is disabled to give the verifier a chance.

+63439 -277

0 comment

144 changed files

pr created time in a month

pull request commentethereum-optimism/optimism-monorepo

Remove dead code and further lower gas usage

Replaced by #214

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 8cc91ca950e3e66d2f12f70e6841a1a95f385655

this is becoming more legit

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 3645d97ea11edfe0e446633ff989d93d32e400c4

simpler to think of caller as blacklisted

view details

push time in a month

create barnchgeohot/optimism-monorepo

branch : formal_verification

created branch time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 63c5c3316b635251bb60b14cb96a6010c0441282

unused var

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha eae86af0699d0533446c12defa81971ab50d6259

this actually uses less gas now

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 854a532605b07f2c63ca5671210496feda399f1a

add comments for readability

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha e38bf13e8aaf424c3d909caa78d69b88253e92d0

flip the if, use less gas

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 93c7fa0bade4f6b34708edb00dbb94551934cf22

remove whitelisted opcodes as input, write generation code for it

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 03d3aa00d2f30cacd9fbdfecaaf69a4e115640ab

go slow for now, until whitelist is fixed -- 2065930

view details

push time in a month

pull request commentethereum-optimism/optimism-monorepo

Lower SafetyChecker gas to below 1.5 million

Tests fixed!

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

Kevin Ho

commit sha 604464c1a60c7b2b897d669c6faeced1a1aada23

remove auxdata

view details

push time in a month

push eventethereum-optimism/solidity

George Hotz

commit sha cd947f452a6bff9521f1fdf508716d57e5c7e5a8

death to auxdata

view details

push time in a month

push eventethereum-optimism/solidity

George Hotz

commit sha 4b9fffde6416c12a46142f88f872a1a2c86be0c6

actually remove the auxdata

view details

push time in a month

pull request commentethereum-optimism/optimism-monorepo

Lower SafetyChecker gas to below 1.5 million

Yea, it seems like the ExternStateToken.json thing isn't a bug, the contract actually contains "JUMPDEST 0xD2". I don't think the compiler change could have caused this, there's probably just randomness or something.

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 28aa44ced6229be423d2bc17beb79065ebb837d4

add back all tests and console logs

view details

push time in a month

PR opened ethereum-optimism/optimism-monorepo

Lower gas to below 1.5 million

Depends on "kall" compiler change.

Note that opcodeWhitelist is now hardcoded, this needs to be updated.

ExternStateToken.json is also failing, looking into why.

+63310 -262

0 comment

140 changed files

pr created time in a month

push eventgeohot/optimism-monorepo

Kevin Ho

commit sha 0e61310e8c3f8448a0468675f6ceb610feae6afb

updated SWAP1 JSON files

view details

George Hotz

commit sha 5660cb1e88a24e269951f6bdc9c167f1173a599b

update safety checker for new string and fix test

view details

push time in a month

push eventethereum-optimism/solidity

George Hotz

commit sha 6be0902f368605c73bdb95fa48edaf0f85b817c4

much more precise restriction to CSE

view details

push time in a month

PR opened ethereum-optimism/solidity

Switch call to =kall

CALLER 0x00 SWAP1 GAS CALL

+27 -6

0 comment

3 changed files

pr created time in a month

push eventethereum-optimism/solidity

George Hotz

commit sha 0288c94284a038394b1ab31e0284618ce41b4d95

disabling CSE makes the swap1's stay

view details

push time in a month

create barnchethereum-optimism/solidity

branch : kall

created branch time in a month

pull request commentethereum-optimism/optimism-monorepo

Remove dead code and further lower gas usage

Ahh I see. The fast version would require the compiler change than with the SWAP1 as far as I can think, since unless you track it, I don't think you can ever be sure you aren't in a PUSH.

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha a290cb05583b12839e61f6baff24d57020e6bbcf

cleanup 1323483

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 4f4401bdab303660928e145c8ce2b2ef95ea602c

call check actually might be safe

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha d6041b2a537f106cdaa20868e35497328a2a2eef

i forget how big 32 bytes is -- 1349924

view details

push time in a month

pull request commentethereum-optimism/optimism-monorepo

Remove dead code and further lower gas usage

got 1432474, though like...eww

https://github.com/geohot/optimism-monorepo/commit/7e07a996dff5e661790ac0023b7af18c34b86308

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 7e07a996dff5e661790ac0023b7af18c34b86308

low gas 1432474 lol

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 51950bcc6c960b65f5c3af5983f62fda986d146b

flip stack order

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 95c228f1f41bf2018ca7ae66b223332e00b15b3f

2236313

view details

push time in a month

create barnchgeohot/optimism-monorepo

branch : lower_lower_gas

created branch time in a month

pull request commentethereum-optimism/optimism-monorepo

Remove dead code and further lower gas usage

A quick claim of why 1.5 million will be very hard (50 gas per byte). Arguments are put on the stack with DUP or PUSH, so something like an LT, while only costing 3, really costs more like 9.

Exit compare (34+10=22 gas): dupx dupx gt push(addr) jumpi Load (34=12 gas, currently 6 more for add): dupx mload push(0x00) byte Shift compare (3*6+10=28 gas): push(1) dupx shl dupx and push(addr) jumpi Inc pc (6 gas, currently 8 more for jump): push(1) add

Even with the absolute minimum in hardcoded asm, you are left with 22+12+28+6 = 68 gas. Pushes do help? And maybe maybe there's word stuff?

geohot

comment created time in a month

push eventgeohot/optimism-monorepo

Kevin Ho

commit sha bbb8bda82012b748394aadd1182dcb3cef48d84d

updated optimized EtherCollateral

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha ca7e2676d619e4c2ed0b0eb511daae87d58f8404

under 3 million

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha b6a97b831726e9c524ef55330181bed0c60f5559

passes in optimized except EtherCollateral

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 5b32333ab987b77326f712d5df985b4408bf8344

fix tabs

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 9db26aaa532b826487db3e480cc8c88a2bf81753

needed push check in SafetyChecker invalid for libraries. rebuild without requires, all pass

view details

push time in a month

push eventgeohot/optimism-monorepo

Kevin Ho

commit sha 0a72954e99dbcf7aa30581135c8d85d836008019

check safety, update EtherCollateral

view details

George Hotz

commit sha 1f0a912d9c3beaa11621edfcd7f475ce13c95d1e

console.log for failing opcodes in new safety checker

view details

push time in a month

push eventgeohot/optimism-monorepo

George Hotz

commit sha 69320288d50efc000bbee56052ae55027eeed8ed

cleanup to 2988705 and 2807019

view details

push time in a month

more