mp8 Karma 54 Created 11 years ago Recent Submissions 1. ▲ Solving a Puzzle by Proving It Solvable (statusfailed.com) 1 point · 7 years ago · 0 comments All submissions on HN · View profile on HN