5:[["$","script",null,{"type":"application/ld+json","dangerouslySetInnerHTML":{"__html":"{\"@context\":\"https://schema.org\",\"@type\":\"NewsArticle\",\"headline\":\"Dungeon Proof Crawler: learn how to write proofs with RPG\",\"description\":\"Article URL: https://dhilst.github.io/algae/game/index.html\\nComments URL: https://news.ycombinator.com/item?id=48797895\\nPoints: 12\\n# Comments: 5\",\"url\":\"https://freetinyimage.top/news/dungeon-proof-crawler-learn-how-to-write-proofs-with-rpg-2026-07-05\",\"datePublished\":\"2026-07-05T21:00:27.000Z\",\"dateModified\":\"2026-07-05T22:00:08.867Z\",\"author\":{\"@type\":\"Organization\",\"name\":\"Hacker News\",\"url\":\"https://hnrss.org/frontpage\"},\"publisher\":{\"@type\":\"Organization\",\"name\":\"FreeTinyImage\",\"url\":\"https://freetinyimage.top\"},\"isPartOf\":{\"@type\":\"WebSite\",\"name\":\"FreeTinyImage\",\"url\":\"https://freetinyimage.top\"}}"}}],"$L16",["$","div",null,{"className":"max-w-3xl mx-auto px-4 sm:px-6 lg:px-8 py-10","children":[["$","div",null,{"className":"flex flex-wrap items-center gap-3 mb-5","children":[["$","span",null,{"className":"inline-flex items-center px-2.5 py-0.5 rounded-full text-xs font-medium bg-gray-100 text-gray-600","children":"general"}],["$","span",null,{"className":"text-sm text-gray-500 font-medium","children":"Hacker News"}],["$","time",null,{"className":"text-sm text-gray-400","dateTime":"2026-07-05T21:00:27.000Z","children":"July 6, 2026"}]]}],["$","h1",null,{"className":"text-3xl sm:text-4xl font-bold text-gray-900 mb-4 leading-tight","children":"Dungeon Proof Crawler: learn how to write proofs with RPG"}],["$","p",null,{"className":"text-lg text-gray-500 mb-8 leading-relaxed","children":"Article URL: https://dhilst.github.io/algae/game/index.html\nComments URL: https://news.ycombinator.com/item?id=48797895\nPoints: 12\n# Comments: 5"}],"",["$","div",null,{"className":"prose prose-gray max-w-none prose-headings:font-semibold prose-a:text-brand-600 prose-img:rounded-xl","dangerouslySetInnerHTML":{"__html":"\n

Article URL: https://dhilst.github.io/algae/game/index.html

Comments URL: https://news.ycombinator.com/item?id=48797895

Points: 12

# Comments: 5

\n"}}],["$","div",null,{"className":"mt-10 pt-6 border-t border-gray-200","children":["$","p",null,{"className":"text-sm text-gray-500","children":["Originally published on"," ",["$","a",null,{"href":"https://dhilst.github.io/algae/game/index.html","target":"_blank","rel":"noopener noreferrer","className":"text-brand-600 hover:underline font-medium","children":"Hacker News"}]]}]}]]}]]