galapago

6 ms·

1.
Wing Commander 2 source reconstruction and SDL2 port(github.com)
1 points by galapago 27d ago|0 comments
2.
*Rats!* (1994) source code reconstruction using Qwen 3.8(github.com)
3 points by galapago 1mo ago|0 comments
3.
Wing Commander 1 source reconstruction(github.com)
2 points by galapago 1mo ago|0 comments
4.
Adventures in Automated Smart Contract Testing: A Spark Is Born(gustavo-grieco.github.io)
2 points by galapago 3mo ago|0 comments
5.
Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna(github.com)
1 points by galapago 9mo ago|1 comments
6.
Echidna 2.3 released with symbolic execution, Foundry integration and more(github.com)
2 points by galapago 9mo ago|0 comments
7.
Who Has Security? A list of blockchain companies with in-house security(whohassecurity.com)
1 points by galapago 10mo ago|0 comments
8.
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm(github.com)
2 points by galapago 1y ago|0 comments
9.
Echidna Enters a New Era of Symbolic Execution(gustavo-grieco.github.io)
23 points by galapago 1y ago|6 comments
10.
Quimera: feedback-driven exploit generation for smart contracts using LLMs(gustavo-grieco.github.io)
2 points by galapago 1y ago|0 comments
11.
Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs(github.com)
3 points by galapago 1y ago|0 comments
12.
The call for invariant-driven development(blog.trailofbits.com)
2 points by galapago 2y ago|0 comments
13.
by galapago 2y ago
You mean the website was not loading?
14.
by galapago 2y ago
I think the game tries push the player to be as efficient as possible with the information extracted from each clue. While this is true that more evidence is better in real life, it is also the case that finding and analyzing each of these
15.
by galapago 2y ago
I'm the creator of mystery-o-matic. I'm surprised to see it in HN again (as it was previously discussed) but happy to take any questions about it. Btw, the code to produce the puzzles and the website itself is all open-source: ht
16.
by galapago 2y ago
It's partially inspired by murdle, but I think it is different enough. Murdle is all about logic clue (with some small mini games like find a finger print and such). Mystery-o-matic is about temporal and spatial reasoning, with their o
17.
Agents keep thanking each other when using GPT-3.5-turbo(microsoft.github.io)
1 points by galapago 2y ago|0 comments
18.
ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games(scummvm.org)
3 points by galapago 2y ago|0 comments
19.
Help us to test the upcoming ScummVM 2.9.0(scummvm.org)
2 points by galapago 2y ago|0 comments
20.
by galapago 2y ago
The Amiga support is coming: https://www.reddit.com/r/amiga/comments/1gilybh/enter_castle... but still some reverse engineering to do.
21.
ScummVM adds support for Castle Master (1990)(scummvm.org)
19 points by galapago 2y ago|3 comments
22.
by galapago 2y ago
A remainder that the game can be played using ScummVM[1] [1]: https://wiki.scummvm.org/index.php?title=Starship_Titanic
23.
by galapago 2y ago
That game was not really remastered, but instead they "used AI to remaster the original game footage to HD quality using a rare Japanese DVD release of the game". It is also not an official release (the game is not sold in any dig
24.
Douglas Adams' Starship Titanic game website (1998)(starshiptitanic.com)
37 points by galapago 2y ago|16 comments
25.
Total Eclipse (1988) announced for testing in ScummVM(twitter.com)
1 points by galapago 2y ago|0 comments
26.
Thimbleweed Park support is coming to ScummVM(github.com)
5 points by galapago 3y ago|0 comments
27.
Improving the State of Cosmos Fuzzing(blog.trailofbits.com)
1 points by galapago 3y ago|0 comments
28.
by galapago 3y ago
Not any more: https://www.scummvm.org/news/20231206/
29.
by galapago 3y ago
There is another HN thread to discuss that release here: https://news.ycombinator.com/item?id=38816506
30.
ScummVM 2.8.0 released with tons of new games(scummvm.org)
25 points by galapago 3y ago|1 comments

More ›