galapago

4,210 karmajoined September 3, 2012On HN

Recent submissions

Wing Commander 2 source reconstruction and SDL2 port github.com/neuromancer
1galapago22ddiscuss
*Rats!* (1994) source code reconstruction using Qwen 3.8 github.com/neuromancer
3galapago27ddiscuss
Wing Commander 1 source reconstruction github.com/neuromancer
2galapago1modiscuss
Adventures in Automated Smart Contract Testing: A Spark Is Born gustavo-grieco.github.io
2galapago2modiscuss
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna github.com/crytic
1galapago8mo1 comment
Echidna 2.3 released with symbolic execution, Foundry integration and more github.com/crytic
2galapago8modiscuss
Who Has Security? A list of blockchain companies with in-house security whohassecurity.com
1galapago9modiscuss
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm github.com/gustavo-grieco
2galapago1ydiscuss
Echidna Enters a New Era of Symbolic Execution gustavo-grieco.github.io
23galapago1y6 comments
Quimera: feedback-driven exploit generation for smart contracts using LLMs gustavo-grieco.github.io
2galapago1ydiscuss
Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs github.com/gustavo-grieco
3galapago1ydiscuss
The call for invariant-driven development blog.trailofbits.com
2galapago1ydiscuss
Agents keep thanking each other when using GPT-3.5-turbo microsoft.github.io
1galapago1ydiscuss
ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games scummvm.org
3galapago1ydiscuss
Help us to test the upcoming ScummVM 2.9.0 scummvm.org
2galapago1ydiscuss
ScummVM adds support for Castle Master (1990)scummvm.org
19galapago1y3 comments
Douglas Adams' Starship Titanic game website (1998)starshiptitanic.com
37galapago2y16 comments
Total Eclipse (1988) announced for testing in ScummVM twitter.com
1galapago2ydiscuss
Thimbleweed Park support is coming to ScummVM github.com/scummvm
5galapago2ydiscuss
Improving the State of Cosmos Fuzzing blog.trailofbits.com
1galapago2ydiscuss
ScummVM 2.8.0 released with tons of new games scummvm.org
25galapago2y1 comment
ScummVM on the App Store apps.apple.com
262galapago2y191 comments
Mystery-o-matic.com random murder generator is open-source github.com/mystery-o-matic
98galapago2y26 comments
mystery-o-matic.com is open-source github.com/mystery-o-matic
2galapago2y1 comment
Show HN: mystery-o-matic offers a daily random murder mystery mystery-o-matic.com
48galapago2y27 comments
Trail of Bits Introduces Invariant Development as a Service blog.trailofbits.com
2galapago2ydiscuss
Androids get a companion: iOS port public testing for ScummVM scummvm.org
2galapago3ydiscuss
ScummVM 2.7.1: “Stan's previously broken swords” sees the light scummvm.org
3galapago3ydiscuss

All submissions and comments on Hacker News.