Indeed
Replying to @natashenka @5aelo
Overall, fuzzing and LLMs are complementary approaches. AI has greatly increased the number of vulnerabilities found and fixed in V8, but don’t turn off those fuzzers yet!
Replying to @0x3b33
congrats you almost got smol frogged @inversebrah
Replying to @ack3ai
Can you kindly present the benchmark contracts
FORKFORK DOG retweeted
9/ where it breaks down: proofs are blind where they abstract. I planted a bug in 4 lines the spec summarizes away — writes routed to the wrong order book. every proof stayed green. unit tests caught it instead.
so no, you don't get to delete your tests.
Replying to @__Raiders @poteto
Just be gentle
xitter.cf/forkforkdog/status/209…
continuing. one solution would be to create a cgroup like `cgroup memory.max=7G` and retry
3 workers and sitting on 7GBs














