Y Hacker News new | ask | show | jobs

user: galapago created: 2012-09-03 karma: 4209 submissions: Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna 1 points | 1 comments Echidna 2.3 released with symbolic execution, Foundry integration and more 2 points | 0 comments Who Has Security? A list of blockchain companies with in-house security 1 points | 0 comments Formal verification effort for the ABDK Math 64.64 library using echidna/hevm 2 points | 0 comments Echidna Enters a New Era of Symbolic Execution 23 points | 6 comments Quimera: feedback-driven exploit generation for smart contracts using LLMs 2 points | 0 comments Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs 3 points | 0 comments The call for invariant-driven development 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Agents keep thanking each other when using GPT-3.5-turbo 1 points | 0 comments ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games 3 points | 0 comments Help us to test the upcoming ScummVM 2.9.0 2 points | 0 comments 0 points | 0 comments ScummVM adds support for Castle Master (1990) 19 points | 3 comments 0 points | 0 comments 0 points | 0 comments Douglas Adams' Starship Titanic game website (1998) 37 points | 16 comments Total Eclipse (1988) announced for testing in ScummVM 1 points | 0 comments Thimbleweed Park support is coming to ScummVM 5 points | 0 comments Improving the State of Cosmos Fuzzing 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments ScummVM 2.8.0 released with tons of new games 25 points | 1 comments 0 points | 0 comments ScummVM on the App Store 262 points | 191 comments 0 points | 0 comments 0 points | 0 comments