geohot/corona 1460
Reverse engineering SARS-CoV-2
From the Transistor to the Web Browser, a rough outline for a 12 week course
Some ipython notebooks implementing AI algorithms
We try to break the recaptcha for the Merry Christmas for all!
Like some files bro
geohot/kvm-kext 102
An implementation of /dev/kvm for Mac OS X
open-source jailbreaking tool for many iOS devices
The Embedded Disassembler
A distributed decentralized chess tournament
pull request commentcommaai/openpilot
Isn't this going to just waste CPU?
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
commit sha 63ac5454d45b42c17d825246daac1f2f1e373de5
50 pictures of garages
push time in 21 days
push eventcommaai/comma10k
commit sha 523c714e92a12b597f5e7d479f6e4927b5d1ea72
next thousand
push time in 22 days
push eventcommaai/comma10k
commit sha 18e90f46ee8e6e104029b16ec598558811094b89
first 3000 sa
push time in 22 days
push eventcommaai/comma10k
commit sha efde2ca98c09447119d53b9ca938f1e012a0c7b1
first 1000 sa images
push time in 22 days
push eventcommaai/comma10k
commit sha 80a2c467136a68e3ae51519379f3dcb1594b308a
more sa, check file location
push time in 23 days
push eventcommaai/comma10k
commit sha 46e09d370e3180ca3ea17bebbb680ced7664c844
more images
push time in 23 days
push eventcommaai/comma10k
commit sha 3dd17e939cd2535b63d120e78c319043cc57a7d0
seeking
push time in 23 days
push eventcommaai/comma10k
commit sha 70b2426942b9ce54566f0a285c1df7bef1e30d60
fix tools selector
push time in 23 days
push eventcommaai/comma10k
commit sha eaf952bf6e1b84e673b851a480a9c2bec9f8d7b0
first 18 sa images
push time in 23 days
push eventcommaai/comma10k
commit sha ae3d355da7a754686aef1e7c3e5ccc513e375da5
make sa dataset
push time in 23 days
push eventcommaai/comma10k
commit sha 2c3da897f571d27e8594a5497d262336e74127bb
the losses improve
push time in 23 days
push eventcommaai/comma10k
commit sha 48094db0de147e8eacdd99ad46648ae803973787
bunch more hard ones
push time in 23 days
push eventcommaai/comma10k
commit sha fdf299b19cf02a3fc06a08a126c2181ac2fdf7dc
200 more hard images
push time in 23 days
push eventcommaai/comma10k
commit sha ec56cfecba45111ae891c476e51ed84e7e3a0b5e
canon masks
push time in 24 days
push eventgeohot/minGPT
commit sha 750300246afbaba83e9a3213b5de63a4a14a229d
training
push time in a month
push eventgeohot/minGPT
commit sha 50742977aa3c445fdd4319bb53c5f02575e960ad
kicked off training
push time in a month
push eventgeohot/minGPT
commit sha bf0a5ee91a35af912c05e957d2f506815d81c8d1
pygpt
push time in a month
push eventgeohot/minGPT
commit sha ca951a860dafa5e622d30b6f57f81f1938404621
pygpt is working
push time in a month
push eventgeohot/ai-notebooks
commit sha 422e7a1dcfbf7d1609fbf9a5b72cdb32a48a942c
playing with transformers
push time in a month
pull request commentcommaai/openpilot
Junk files @ and 1. This is still a huge PR!
comment created time in a month
push eventcommaai/openpilot
commit sha 8c4c8e6bbee7cc73a94a566e2a89829e737ddc52
update code stats script
push time in a month
push eventgeohot/minGPT
commit sha 0763c56901cf53476ffa3dfb9dc1b8bd91c04ae3
update gitignore
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
Perhaps it wasn't copied right?
comment created time in a month
push eventcommaai/comma10k
commit sha 49f99881a7c248d26ebd9add07ea275706a66622
remove pencil and add val note
push time in a month
push eventcommaai/comma10k
commit sha 7b423c1930509bd25c5d8021c54cac4cff4d043c
canon more
push time in a month
issue openedcommaai/openpilot
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
commit sha 99db9a2fa96c3a962f1a260eed5ae3a7500287f5
canon masks
push time in a month
PR closed ethereum-optimism/optimism-monorepo
Currently, the speed is disabled to give the verifier a chance.
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
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.
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.
comment created time in a month
push eventgeohot/manticore
commit sha 8985c0354f0dc6dcde83d9a9110ffd3990546b21
always put it through BitVecExtract
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?
comment created time in a month
push eventgeohot/manticore
commit sha cd602e95c2cd945d39509047c488934898e87fca
fix spacing
push time in a month
PR opened trailofbits/manticore
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.
pr created time in a month
push eventgeohot/optimism-monorepo
commit sha 851352adef26c0be537838c0b88cce775e7b697f
it's running
push time in a month
push eventgeohot/optimism-monorepo
commit sha bdb6a48283e39bb1169a7f50af3c6228ce3171fd
empty proof
push time in a month
push eventgeohot/optimism-monorepo
commit sha 6ac9ae3c320a9d1a0cb31f748cf5f7e93078fa2b
klab build works
push time in a month
push eventgeohot/optimism-monorepo
commit sha e6b96baa40dffa45851340c70249d657eb30ab65
klab build almost works
push time in a month
push eventgeohot/optimism-monorepo
commit sha 91fb1863e34407f20e0033c84f81c40ba5a15bfa
k builder
push time in a month
issue commentgeohot/configuration
is it the latest configuration you use?
Real one for sale, start the bidding here
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 217cd493da8b9745107d7dca957cb645fac8500f
slow
push time in a month
push eventgeohot/manticore
commit sha 1ed9b72d8548420b643ed3e3230222ba0e98fd12
minor fixes
push time in a month
fork geohot/manticore
Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
fork in a month
push eventgeohot/optimism-monorepo
commit sha e29e9b403df5baec9e66f08a14ad8d8f95959ef4
push32 test, but it's very slow
push time in a month
push eventgeohot/optimism-monorepo
commit sha 7a18d26961103d981b5d319604c7be8b3e83a6b0
oops, broke that test
push time in a month
push eventgeohot/optimism-monorepo
commit sha 2f6e1ab08aff1e2d23cc38045d49703c76304bd5
improve the tests
push time in a month
push eventgeohot/optimism-monorepo
commit sha 748b940e52586d14a3eaa0bcb5c7b68df308e760
more tests
push time in a month
push eventgeohot/optimism-monorepo
commit sha 4945eea64b05fdc18e41f01eba6ab7911ecc9cc7
test following solutions
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
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 49623d8ff70906b159e33adceb28b4780b15a5bc
actually verify the properties
push time in a month
PR opened ethereum-optimism/optimism-monorepo
Currently, the speed is disabled to give the verifier a chance.
pr created time in a month
PR closed ethereum-optimism/optimism-monorepo
pr closed time in a month
pull request commentethereum-optimism/optimism-monorepo
Remove dead code and further lower gas usage
Replaced by #214
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 8cc91ca950e3e66d2f12f70e6841a1a95f385655
this is becoming more legit
push time in a month
push eventgeohot/optimism-monorepo
commit sha 3645d97ea11edfe0e446633ff989d93d32e400c4
simpler to think of caller as blacklisted
push time in a month
push eventgeohot/optimism-monorepo
commit sha 63c5c3316b635251bb60b14cb96a6010c0441282
unused var
push time in a month
push eventgeohot/optimism-monorepo
commit sha eae86af0699d0533446c12defa81971ab50d6259
this actually uses less gas now
push time in a month
push eventgeohot/optimism-monorepo
commit sha 854a532605b07f2c63ca5671210496feda399f1a
add comments for readability
push time in a month
push eventgeohot/optimism-monorepo
commit sha e38bf13e8aaf424c3d909caa78d69b88253e92d0
flip the if, use less gas
push time in a month
push eventgeohot/optimism-monorepo
commit sha 93c7fa0bade4f6b34708edb00dbb94551934cf22
remove whitelisted opcodes as input, write generation code for it
push time in a month
push eventgeohot/optimism-monorepo
commit sha 03d3aa00d2f30cacd9fbdfecaaf69a4e115640ab
go slow for now, until whitelist is fixed -- 2065930
push time in a month
pull request commentethereum-optimism/optimism-monorepo
Lower SafetyChecker gas to below 1.5 million
Tests fixed!
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 604464c1a60c7b2b897d669c6faeced1a1aada23
remove auxdata
push time in a month
push eventethereum-optimism/solidity
commit sha cd947f452a6bff9521f1fdf508716d57e5c7e5a8
death to auxdata
push time in a month
push eventethereum-optimism/solidity
commit sha 4b9fffde6416c12a46142f88f872a1a2c86be0c6
actually remove the auxdata
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.
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 28aa44ced6229be423d2bc17beb79065ebb837d4
add back all tests and console logs
push time in a month
PR opened ethereum-optimism/optimism-monorepo
Depends on "kall" compiler change.
Note that opcodeWhitelist is now hardcoded, this needs to be updated.
ExternStateToken.json is also failing, looking into why.
pr created time in a month
push eventgeohot/optimism-monorepo
commit sha 0e61310e8c3f8448a0468675f6ceb610feae6afb
updated SWAP1 JSON files
commit sha 5660cb1e88a24e269951f6bdc9c167f1173a599b
update safety checker for new string and fix test
push time in a month
push eventethereum-optimism/solidity
commit sha 6be0902f368605c73bdb95fa48edaf0f85b817c4
much more precise restriction to CSE
push time in a month
push eventethereum-optimism/solidity
commit sha 0288c94284a038394b1ab31e0284618ce41b4d95
disabling CSE makes the swap1's stay
push 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.
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha a290cb05583b12839e61f6baff24d57020e6bbcf
cleanup 1323483
push time in a month
push eventgeohot/optimism-monorepo
commit sha 4f4401bdab303660928e145c8ce2b2ef95ea602c
call check actually might be safe
push time in a month
push eventgeohot/optimism-monorepo
commit sha d6041b2a537f106cdaa20868e35497328a2a2eef
i forget how big 32 bytes is -- 1349924
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
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha 7e07a996dff5e661790ac0023b7af18c34b86308
low gas 1432474 lol
push time in a month
push eventgeohot/optimism-monorepo
commit sha 51950bcc6c960b65f5c3af5983f62fda986d146b
flip stack order
push time in a month
push eventgeohot/optimism-monorepo
commit sha 95c228f1f41bf2018ca7ae66b223332e00b15b3f
2236313
push 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?
comment created time in a month
push eventgeohot/optimism-monorepo
commit sha bbb8bda82012b748394aadd1182dcb3cef48d84d
updated optimized EtherCollateral
push time in a month
push eventgeohot/optimism-monorepo
commit sha ca7e2676d619e4c2ed0b0eb511daae87d58f8404
under 3 million
push time in a month
push eventgeohot/optimism-monorepo
commit sha b6a97b831726e9c524ef55330181bed0c60f5559
passes in optimized except EtherCollateral
push time in a month
push eventgeohot/optimism-monorepo
commit sha 5b32333ab987b77326f712d5df985b4408bf8344
fix tabs
push time in a month
push eventgeohot/optimism-monorepo
commit sha 9db26aaa532b826487db3e480cc8c88a2bf81753
needed push check in SafetyChecker invalid for libraries. rebuild without requires, all pass
push time in a month
push eventgeohot/optimism-monorepo
commit sha 0a72954e99dbcf7aa30581135c8d85d836008019
check safety, update EtherCollateral
commit sha 1f0a912d9c3beaa11621edfcd7f475ce13c95d1e
console.log for failing opcodes in new safety checker
push time in a month
push eventgeohot/optimism-monorepo
commit sha 69320288d50efc000bbee56052ae55027eeed8ed
cleanup to 2988705 and 2807019
push time in a month