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