Hacker News Reader

I suspect, for many of us here, writing solvers for games is more magical than playing them.

And trainers / save file hacking / locating ram addresses / editing config files / modding.

that would be `JSON.parse(localStorage.getItem("gameState")).solution` ;)

There is no magic in small puzzles. There is only truth, begging to be brought to light.

I still play chess, daily.

I look forward to people playing with proof assistants as just a hard video game.