Adventures in Automated Smart Contract Testing: A Spark Is Borngustavo-grieco.github.io·2 pts·galapago·0
Echidna 2.3 released with symbolic execution, Foundry integration and moregithub.com·2 pts·galapago·0
Who Has Security? A list of blockchain companies with in-house securitywhohassecurity.com·1 pts·galapago·0
Formal verification effort for the ABDK Math 64.64 library using echidna/hevmgithub.com·2 pts·galapago·0
Quimera: feedback-driven exploit generation for smart contracts using LLMsgustavo-grieco.github.io·2 pts·galapago·0
Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMsgithub.com·3 pts·galapago·0
ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of gamesscummvm.org·3 pts·galapago·0