The topic of Minesweeper seems to come up on HN quite often, so it might be worth noting that Simon's implementation ensures that "you are guaranteed to be able

The topic of Minesweeper seems to come up on HN quite often, so it might be worth noting that Simon's implementation ensures that "you are guaranteed to be able to solve the whole grid by deduction rather than guesswork."