| 1. | | Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (github.com/crytic) |
| 1 point by galapago 32 days ago | past | 1 comment |
|
| 2. | | Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com/crytic) |
| 2 points by galapago 41 days ago | past |
|
| 3. | | Who Has Security? A list of blockchain companies with in-house security (whohassecurity.com) |
| 1 point by galapago 51 days ago | past |
|
| 4. | | Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco) |
| 2 points by galapago 5 months ago | past |
|
| 5. | | Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io) |
| 23 points by galapago 5 months ago | past | 6 comments |
|
| 6. | | Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io) |
| 2 points by galapago 6 months ago | past |
|
| 7. | | Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (github.com/gustavo-grieco) |
| 3 points by galapago 7 months ago | past |
|
| 8. | | The call for invariant-driven development (trailofbits.com) |
| 2 points by galapago 11 months ago | past |
|
| 9. | | Agents keep thanking each other when using GPT-3.5-turbo (microsoft.github.io) |
| 1 point by galapago on Dec 28, 2024 | past |
|
| 10. | | ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (scummvm.org) |
| 3 points by galapago on Dec 22, 2024 | past |
|
| 11. | | Help us to test the upcoming ScummVM 2.9.0 (scummvm.org) |
| 2 points by galapago on Nov 26, 2024 | past |
|
| 12. | | ScummVM adds support for Castle Master (1990) (scummvm.org) |
| 19 points by galapago on Nov 9, 2024 | past | 3 comments |
|
| 13. | | Douglas Adams' Starship Titanic game website (1998) (starshiptitanic.com) |
| 37 points by galapago on July 20, 2024 | past | 16 comments |
|
| 14. | | Total Eclipse (1988) announced for testing in ScummVM (twitter.com/scummvm) |
| 1 point by galapago on April 7, 2024 | past |
|
| 15. | | Thimbleweed Park support is coming to ScummVM (github.com/scummvm) |
| 5 points by galapago on Feb 25, 2024 | past |
|
| 16. | | Improving the State of Cosmos Fuzzing (trailofbits.com) |
| 1 point by galapago on Feb 5, 2024 | past |
|
| 17. | | ScummVM 2.8.0 released with tons of new games (scummvm.org) |
| 25 points by galapago on Dec 30, 2023 | past | 1 comment |
|
| 18. | | ScummVM on the App Store (apps.apple.com) |
| 262 points by galapago on Dec 30, 2023 | past | 191 comments |
|
| 19. | | Mystery-o-matic.com random murder generator is open-source (github.com/mystery-o-matic) |
| 98 points by galapago on Nov 26, 2023 | past | 26 comments |
|
| 20. | | mystery-o-matic.com is open-source (github.com/mystery-o-matic) |
| 2 points by galapago on Nov 23, 2023 | past | 1 comment |
|
| 21. | | Show HN: mystery-o-matic offers a daily random murder mystery (mystery-o-matic.com) |
| 48 points by galapago on Oct 14, 2023 | past | 27 comments |
|
| 22. | | Trail of Bits Introduces Invariant Development as a Service (trailofbits.com) |
| 2 points by galapago on Oct 5, 2023 | past |
|
| 23. | | Androids get a companion: iOS port public testing for ScummVM (scummvm.org) |
| 2 points by galapago on Sept 8, 2023 | past |
|
| 24. | | ScummVM 2.7.1: “Stan's previously broken swords” sees the light (scummvm.org) |
| 3 points by galapago on July 31, 2023 | past |
|
| 25. | | Show HN: Mystery-o-matic – A daily murder mystery to solve (mystery-o-matic.com) |
| 111 points by galapago on July 7, 2023 | past | 66 comments |
|
| 26. | | Show HN: mystery-o-matic – A daily random murder mystery (mystery-o-matic.com) |
| 2 points by galapago on July 2, 2023 | past |
|
| 27. | | ScummVM 2.7.0: Call for Testing (scummvm.org) |
| 1 point by galapago on Feb 11, 2023 | past |
|
| 28. | | ScummVM 2.6.0 Or: Insane Escapism (scummvm.org) |
| 3 points by galapago on Aug 4, 2022 | past |
|
| 29. | | Echidna, an open-source smart contract fuzzer, released version 2.0.0 (github.com/crytic) |
| 3 points by galapago on Feb 16, 2022 | past |
|
| 30. | | ScummVM 2.5 “Twenty years ago today” (scummvm.org) |
| 309 points by galapago on Oct 9, 2021 | past | 43 comments |
|
|
| More |
