1Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (opens in new tab)(github.com)1galapago3mo ago1
2Echidna 2.3 released with symbolic execution, Foundry integration and more (opens in new tab)(github.com)2galapago3mo ago0
3Who Has Security? A list of blockchain companies with in-house security (opens in new tab)(whohassecurity.com)1galapago3mo ago0
4Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (opens in new tab)(github.com)2galapago7mo ago0
5Echidna Enters a New Era of Symbolic Execution (opens in new tab)(gustavo-grieco.github.io)23galapago7mo ago6
6Quimera: feedback-driven exploit generation for smart contracts using LLMs (opens in new tab)(gustavo-grieco.github.io)2galapago8mo ago0
7Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (opens in new tab)(github.com)3galapago9mo 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)1galapago1y ago0
