News for hackers. Stuff that matters.
Re:Dungeon Proof Crawler: learn how to write proofs with RPG by geckones on Tuesday July 07, 2026 @08:06PM (#48825726)
I updated the tutorial and the game; the most prominent update is that the editor now suggests fixes that solve copy/paste and mechanical editing. It makes the experience a lot better.

I also refactored the tutorial to be more introductory about the project.

There are no comments on this comment yet.