HN Explorer

galapago

↗ HN profile [ 83.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Adventures in Automated Smart Contract Testing: A Spark Is Born (gustavo-grieco.github.io)
    2 points 0
  2. Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (github.com)
    1 points 1
  3. Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com)
    2 points 0
  4. Who Has Security? A list of blockchain companies with in-house security (whohassecurity.com)
    1 points 0
  5. Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)
    2 points 0
  6. Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)
    23 points 3
  7. Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io)
    2 points 0
  8. Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (github.com)
    3 points 0
  9. The call for invariant-driven development (blog.trailofbits.com)
    2 points 0
  10. Agents keep thanking each other when using GPT-3.5-turbo (microsoft.github.io)
    1 points 0
  11. ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (scummvm.org)
    3 points 0
  12. Help us to test the upcoming ScummVM 2.9.0 (scummvm.org)
    2 points 0
  13. ScummVM adds support for Castle Master (1990) (scummvm.org)
    19 points 3
  14. Douglas Adams' Starship Titanic game website (1998) (starshiptitanic.com)
    37 points 18
  15. Total Eclipse (1988) announced for testing in ScummVM (twitter.com)
    1 points 0
  16. Thimbleweed Park support is coming to ScummVM (github.com)
    5 points 0
  17. Improving the State of Cosmos Fuzzing (blog.trailofbits.com)
    1 points 0
  18. ScummVM 2.8.0 released with tons of new games (scummvm.org)
    25 points 1
  19. ScummVM on the App Store (apps.apple.com)
    262 points 196
  20. Mystery-o-matic.com random murder generator is open-source (github.com)
    98 points 27
  21. mystery-o-matic.com is open-source (github.com)
    2 points 1
  22. Show HN: mystery-o-matic offers a daily random murder mystery (mystery-o-matic.com)
    48 points 27
  23. Trail of Bits Introduces Invariant Development as a Service (blog.trailofbits.com)
    2 points 0
  24. Androids get a companion: iOS port public testing for ScummVM (scummvm.org)
    2 points 0
  25. ScummVM 2.7.1: “Stan's previously broken swords” sees the light (scummvm.org)
    3 points 0