Formally verified code is also more performant!
• lean-zip by @tqft: competes with Rust zip
• apc-optimizer (in @leanprover): faster than original Rust code
• @powdr_labs yul-compiler (in Lean): better gas than solc
Read more at:
Very interesting project from @eth_proofs built on top of
@powdr_labs's work formalizing the EVM.
Single man EIP8200 from @kevaundray proposes replacing all precompiles with EVM bytecode rather than each client having its own native optimized implementation. However, the gas
A man in Australia asked his agent (Claude running on OpenClaw) to book him a spot in a popular gym class. The agent found a software vulnerability that let it book the class weeks further ahead than should have been possible. When the user then asked if it could move him up the
