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
12•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•36m 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•25m ago
There's a chance it's this: https://github.com/dhilst/algae
wizzwizz4•36m 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•21m 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.

Crosspoint Reader – A FOSS firmware for Xteink ereaders

https://crosspointreader.com/
3•devonnull•1m ago•0 comments

Tell HN: I don't trust Bigco AI agents with AI research IP

1•botencat•2m ago•0 comments

Evil tip: avoid "easy" things (2016)

https://yosefk.com/blog/evil-tip-avoid-easy-things.html
2•downbad_•10m ago•0 comments

New Microsoft 365 pricing live, some products up by 42% due to AI

https://www.windowslatest.com/2026/07/05/microsoft-365-just-got-a-price-hike-over-continuous-inno...
4•ninko•12m ago•2 comments

AKM-CLR – pre-inference governance for vLLM-style LLM serving

https://github.com/irenee28/akm-clr-governance-layer
2•akili2805•12m ago•0 comments

Bench Press: Leaking Text Nodes with CSS (2024)

https://blog.pspaul.de/posts/bench-press-leaking-text-nodes-with-css/
2•gslin•13m ago•0 comments

DNSGlobe – Rust TUI to watch DNS propagate around the world

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

I scored every FOMC statement since 1994 and put it behind an API

https://financialdatapi.com
2•Neith12•16m ago•0 comments

IronToll: Global Government-Impersonation PhaaS

https://phisheye.com/blog/irontoll-iron-man-phaas-campaign
2•naveenda•16m ago•0 comments

FIFA makes U-turn following call from Trump

https://www.reuters.com/sports/soccer/us-striker-balogun-available-belgium-clash-despite-red-card...
6•sxzygz•16m ago•1 comments

Ask HN: What do you do with the user guide of the universe?

2•KenographerPrim•19m ago•0 comments

Here here, there is no there, there

https://silvestro2026.substack.com/p/here-here
3•silvestromedia•22m ago•0 comments

Building blocks leave no crumbs

https://www.nvegater.com/blog/building-blocks
2•nvegater•22m ago•0 comments

Composite Video on the NES: Why's it so wobbly?

https://nicole.express/2026/phase-altering-by-line.html
2•zdw•25m ago•0 comments

One Piece as Modern Scripture

https://pilgrimsage.substack.com/p/the-grand-line
2•momentmaker•25m ago•0 comments

The Tech Sentiments Pulse: What Today's Tech and Crypto Headlines Are Signaling

https://medium.com/@thesuperrepemail/the-tech-sentiments-pulse-what-todays-tech-crypto-headlines-...
2•mssblogs•25m ago•0 comments

Prism: An Impure Functional Language With Typed Effects

https://www.stephendiehl.com/posts/prism/
2•azkalam•26m 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-...
6•vinnyglennon•31m ago•0 comments

Had an idea for a Rust editor with simple Vim mode for learning

https://github.com/electronicsleep/rust-vim
2•ElectronicSleep•34m ago•1 comments

Vercel Container Registry

https://vercel.com/changelog/introducing-vcr-vercel-container-registry
2•lukesheard•34m ago•0 comments

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

https://homegames.io
17•homegamesjoseph•37m ago•2 comments

Pacerift – I built a motorcycle telemetry app using only phone sensors

https://play.google.com/store/apps/details?id=com.xspl.pacerift&hl=en_US
3•sauravXzent•39m ago•0 comments

I'm an obsessed hobby cheesemaker. [AMA]

https://old.reddit.com/r/AskMeAnythingIAnswer/comments/1uo6cqc/im_an_obsessed_hobby_cheesemaker_ama/
3•consumer451•40m ago•0 comments

Bird nests of fibre-optic cables show war's impact on Ukraine

https://www.reuters.com/business/aerospace-defense/bird-nests-fibre-optic-cables-show-wars-impact...
4•joebig•40m ago•0 comments

LaCie drives just contain regular Seagate drives inside

https://twitter.com/eftegarie/status/2073881763055641034
3•amin•40m ago•2 comments

Live Image/Video Translation

https://blog.davidv.dev/posts/mobile-translator-video/
3•wonger_•43m ago•0 comments

Time-based background colour transitions with Temporal and CSS color-mix

https://localghost.dev/blog/time-based-background-colour-transitions-with-temporal-and-css-color-...
7•gslin•45m ago•0 comments

WhaleCap: Keep your DeepSeek API credits from running out on day one

https://www.npmjs.com/package/whalecap
3•wayepoint•45m ago•0 comments

RPB – Raylib Project Builder

https://raysan5.itch.io/raylib-project-builder
3•Erenay09•47m ago•0 comments

RPC – Raylib Project Creator

https://raysan5.itch.io/raylib-project-creator
3•Erenay09•47m ago•0 comments