1Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (opens in new tab)(github.com)1galapago4mo ago1
2Echidna 2.3 released with symbolic execution, Foundry integration and more (opens in new tab)(github.com)2galapago4mo ago0
3Who Has Security? A list of blockchain companies with in-house security (opens in new tab)(whohassecurity.com)1galapago5mo ago0
4Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (opens in new tab)(github.com)2galapago8mo ago0
5Echidna Enters a New Era of Symbolic Execution (opens in new tab)(gustavo-grieco.github.io)23galapago8mo ago6
6Quimera: feedback-driven exploit generation for smart contracts using LLMs (opens in new tab)(gustavo-grieco.github.io)2galapago10mo ago0
7Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (opens in new tab)(github.com)3galapago11mo ago0
9Agents keep thanking each other when using GPT-3.5-turbo (opens in new tab)(microsoft.github.io)1galapago1y ago0
10ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (opens in new tab)(scummvm.org)3galapago1y ago0
13Douglas Adams' Starship Titanic game website (1998) (opens in new tab)(starshiptitanic.com)37galapago1y ago16
14Total Eclipse (1988) announced for testing in ScummVM (opens in new tab)(twitter.com)1galapago2y ago0
