Show HN: SupGen, an model-free program synthesizer by examples / dependent types(youtube.com)

9 points by LightMachine 1 year ago | 4 comments

Everything is free now, so why not a floating orb in my IDE(eighttrigrams.net)

22 points by eighttrigrams 1 month ago | 9 comments

Parley: Federated, decentralised chat that speaks plain IRC(git.mills.io)

306 points by davidcollantes 28 days ago | 169 comments

Git repository page for Parley, a federated, decentralised chat system that is compatible with plain IRC clients; the page returned an HTTP 429 error.

Real-time map of Great Britain's rail network(map.signalbox.io)

385 points by scrlk 3 months ago | 144 comments

Signalbox web app showing a live map of trains moving across Great Britain's rail network; the capture shows only a loading screen.

Show HN: Game demo made with my homemade game engine(reprobate.site)

87 points by delduca 1 year ago | 48 comments

Dtack Grounded archive (1981-1985)(easy68k.com)

36 points by basementcat 1 year ago | 16 comments