user: galapago

4209 karma | created 13 years ago

recent submissions

Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (github.com)

1 pts|2 months ago|1 comment

Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com)

2 pts|2 months ago|discuss

Who Has Security? A list of blockchain companies with in-house security (whohassecurity.com)

1 pts|2 months ago|discuss

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com)

2 pts|6 months ago|discuss

Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io)

23 pts|6 months ago|6 comments

Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io)

2 pts|8 months ago|discuss

Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (github.com)

3 pts|9 months ago|discuss

The call for invariant-driven development (blog.trailofbits.com)

2 pts|1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

Agents keep thanking each other when using GPT-3.5-turbo (microsoft.github.io)

1 pts|1 year ago|discuss

ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (scummvm.org)

3 pts|1 year ago|discuss

Help us to test the upcoming ScummVM 2.9.0 (scummvm.org)

2 pts|1 year ago|discuss

(no title)

1 year ago|discuss

ScummVM adds support for Castle Master (1990) (scummvm.org)

19 pts|1 year ago|3 comments

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

Douglas Adams' Starship Titanic game website (1998) (starshiptitanic.com)

37 pts|1 year ago|16 comments