Show HN: I made a cute game for learning loop invariants | Hacker News Reader