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














