| 1. | | Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco) |
| 2 points by galapago 13 days ago | past | discuss |
|
| 2. | | Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io) |
| 23 points by galapago 18 days ago | past | 6 comments |
|
| 3. | | Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io) |
| 2 points by galapago 65 days ago | past |
|
| 4. | | Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (github.com/gustavo-grieco) |
| 3 points by galapago 3 months ago | past |
|
| 5. | | The call for invariant-driven development (trailofbits.com) |
| 2 points by galapago 6 months ago | past |
|
| 6. | | Agents keep thanking each other when using GPT-3.5-turbo (microsoft.github.io) |
| 1 point by galapago 8 months ago | past |
|
| 7. | | ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (scummvm.org) |
| 3 points by galapago 8 months ago | past |
|
| 8. | | Help us to test the upcoming ScummVM 2.9.0 (scummvm.org) |
| 2 points by galapago 9 months ago | past |
|
| 9. | | ScummVM adds support for Castle Master (1990) (scummvm.org) |
| 19 points by galapago 10 months ago | past | 3 comments |
|
| 10. | | Douglas Adams' Starship Titanic game website (1998) (starshiptitanic.com) |
| 37 points by galapago on July 20, 2024 | past | 16 comments |
|
| 11. | | Total Eclipse (1988) announced for testing in ScummVM (twitter.com/scummvm) |
| 1 point by galapago on April 7, 2024 | past |
|
| 12. | | Thimbleweed Park support is coming to ScummVM (github.com/scummvm) |
| 5 points by galapago on Feb 25, 2024 | past |
|
| 13. | | Improving the State of Cosmos Fuzzing (trailofbits.com) |
| 1 point by galapago on Feb 5, 2024 | past |
|
| 14. | | ScummVM 2.8.0 released with tons of new games (scummvm.org) |
| 25 points by galapago on Dec 30, 2023 | past | 1 comment |
|
| 15. | | ScummVM on the App Store (apps.apple.com) |
| 262 points by galapago on Dec 30, 2023 | past | 191 comments |
|
| 16. | | 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 |
|
| 17. | | mystery-o-matic.com is open-source (github.com/mystery-o-matic) |
| 2 points by galapago on Nov 23, 2023 | past | 1 comment |
|
| 18. | | 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 |
|
| 19. | | Trail of Bits Introduces Invariant Development as a Service (trailofbits.com) |
| 2 points by galapago on Oct 5, 2023 | past |
|
| 20. | | Androids get a companion: iOS port public testing for ScummVM (scummvm.org) |
| 2 points by galapago on Sept 8, 2023 | past |
|
| 21. | | ScummVM 2.7.1: “Stan's previously broken swords” sees the light (scummvm.org) |
| 3 points by galapago on July 31, 2023 | past |
|
| 22. | | 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 |
|
| 23. | | Show HN: mystery-o-matic – A daily random murder mystery (mystery-o-matic.com) |
| 2 points by galapago on July 2, 2023 | past |
|
| 24. | | ScummVM 2.7.0: Call for Testing (scummvm.org) |
| 1 point by galapago on Feb 11, 2023 | past |
|
| 25. | | ScummVM 2.6.0 Or: Insane Escapism (scummvm.org) |
| 3 points by galapago on Aug 4, 2022 | past |
|
| 26. | | Echidna, an open-source smart contract fuzzer, released version 2.0.0 (github.com/crytic) |
| 3 points by galapago on Feb 16, 2022 | past |
|
| 27. | | ScummVM 2.5 “Twenty years ago today” (scummvm.org) |
| 309 points by galapago on Oct 9, 2021 | past | 43 comments |
|
| 28. | | ScummVM is testing a thousands of new games from AGS (scummvm.org) |
| 2 points by galapago on April 5, 2021 | past |
|
| 29. | | The QA Best Practices These 5 NYC Tech Leaders Swear By (builtinnyc.com) |
| 5 points by galapago on Nov 6, 2020 | past |
|
| 30. | | Smart Contract Fuzzing with Echidna (medium.com/coinmonks) |
| 1 point by galapago on Oct 30, 2020 | past |
|
|
| More |
