frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Dungeon Proof Crawler: learn how to write proofs with RPG

https://dhilst.github.io/algae/game/index.html
16•SchwKatze•1h ago

Comments

Vedor•1h ago
Surprisingly interesting experience even for someone that does know nothing about writing proof - thanks to gradual onboarding and a decent help menu.

Also, perfectly playable at mobile (at least a couple of first monsters).

heftig•53m ago
I had the exact opposite experience. It doesn't teach the basics needed to even solve the first puzzle. Which language are we even writing in? Clicking help explains what exactly to do but not why, as well as lots of rules with unexplained terminology.
klibertp•42m ago
There's a chance it's this: https://github.com/dhilst/algae
wizzwizz4•54m ago
The first and southwest-most sphinxes of seed 0 never load, which soft-locks the game. (Fortunately it doesn't corrupt the save-file.)

Edit: after fighting enough other sphinxes, the first one loads, but the west-most fails with an explicit error message:

> This challenge failed to load. Retreating.

On the next floor, the sphinx over the exit stairs fails, preventing me from progressing.

adamddev1•39m ago
I thought this was about writing proofs with RPG the programming language and I was intrigued.

To make it clear that it is with an RPG (role playing game) it needs an "an" in the title.

mmooss•8m ago
"Every monster is a proof. Bring back the ring before sunrise."

Reparaible and open source paper printer

https://www.opentools.studio/
123•bouh•1h ago•38 comments

Organic Maps

https://organicmaps.app/
714•tosh•8h ago•201 comments

Show HN: Homegames. An open-source game platform I've been making for 8 years

https://homegames.io
29•homegamesjoseph•55m ago•5 comments

New AI tutor achieves 0.71-1.30 SD effect size in Dartmouth course [pdf]

https://intextbooks.science.uu.nl/workshop2026/files/itb26_s1s2.pdf
100•jonahbard•3h ago•63 comments

Completing a Computer Science Degree on Coursera

https://notesbylex.com/completing-a-computer-science-degree-on-coursera
41•lexandstuff•1h ago•9 comments

The future of Flipper Zero development

https://blog.flipper.net/future-of-flipper-zero-development/
166•croes•4h ago•39 comments

Mr. Baby Paint and accidentally discovering a new cellular automata

https://tekstien-marginaalien-keskus.aalto.fi/residenssi/heikki/blog/004-december-2/
66•jfil•2d ago•12 comments

Starring the Computer

https://www.starringthecomputer.com/computers.html
136•gitowiec•4h ago•32 comments

Dungeon Proof Crawler: learn how to write proofs with RPG

https://dhilst.github.io/algae/game/index.html
16•SchwKatze•1h ago•6 comments

Pint in England

https://dispatch-media.com/the-best-pint-in-england/
14•gripfx•1h ago•4 comments

Zero-copy in Go: sendfile, splice, and the cost of io.Copy

https://segflow.github.io/post/zero-copy-sendfile-splice/
22•mrngm•2h ago•0 comments

CoCom regulations and GPS receivers for balloons and cubesats

https://space.stackexchange.com/questions/14687/current-situation-with-cocom-regulations-and-gps-...
7•vinnyglennon•49m ago•0 comments

It's not about physical vs. digital games, it's about ownership

https://popcar.bearblog.dev/its-about-ownership/
233•popcar2•7h ago•175 comments

Show HN: Osint tool that finds exposed files on domains

https://search.cerast-intelligence.com/
15•PatchRequest•2h ago•0 comments

Cursed circuits #5: capacitance multiplier

https://lcamtuf.substack.com/p/cursed-circuits-capacitance-multiplier
20•surprisetalk•2h ago•0 comments

Dependencies should be fetched directly from VCS

https://www.arp242.net/deps-vcs.html
13•mrngm•1h ago•6 comments

Introduction to Compilers and Language Design (2021)

https://dthain.github.io/books/compiler/
251•AlexeyBrin•10h ago•43 comments

Papa Johns Can Predict When Your Fridge Is Empty

https://www.adexchanger.com/tv/papa-johns-can-predict-when-your-fridge-is-empty/
31•WaitWaitWha•3d ago•29 comments

DNSGlobe – Rust TUI to watch DNS propagate around the world

https://github.com/514-labs/dnsglobe
6•Callicles•32m ago•0 comments

You need a webring

https://shub.club/writings/2026/july/you-need-a-webring/
36•forthwall•3h ago•26 comments

How the first solo-founder unicorn gets built

https://www.thisandthat.chat/blog/how-the-first-solo-founder-unicorn-gets-built/
10•jreynar•3d ago•5 comments

Run Windows 2000 on a DEC Alpha with a new es40 fork

https://raymii.org/s/blog/Run_Windows_2000_for_Dec_Alpha_on_a_new_es40_fork.html
88•jandeboevrie•8h ago•48 comments

The full stack of terminals explained

https://ahmadawais.com/the-full-stack-of-terminals-explained-terminal-shell-tty-console-posix-ans...
13•ludicrousdispla•2h ago•1 comments

We Always Leave Things Unfinished

https://bigreaderbadgrades.substack.com/p/we-always-leave-things-unfinished
21•bryanrasmussen•3d ago•1 comments

The great blogging collapse: What happened to 100 successful blogs?

https://danielstanica.com/posts/Great-Blogging-Collapse
136•thm•3d ago•106 comments

Installing A/UX 1.1 like it's the 90s

https://thomasw.dev/post/aux11/
42•zdw•6h ago•14 comments

Airplane Boneyards List and Map

https://airplaneboneyards.com/airplane-boneyards-list-and-map.htm
73•hyperific•1d ago•14 comments

Jim Keller's startup is building a factory to mass-produce small chip fabs

https://www.tomshardware.com/tech-industry/atomic-semi-rebrands-as-fab2-and-shifts-operations-to-...
78•logickkk1•3h ago•13 comments

Delta flight hit by firework while landing at Midway Airport on Fourth of July

https://www.nbcchicago.com/news/local/delta-flight-hit-by-firework-while-landing-at-midway-airpor...
10•randycupertino•3h ago•0 comments

The first programmer I know who was murdered in a targeted strike was Haitham

https://www.lrb.co.uk/the-paper/v48/n12/muhammad-shehada/i-would-never-release-him
9•bhouston•4h ago•0 comments