I am familiar with his stuff although I usually have enough other puzzles to fill my needs. If you’ve ever used putty as a terminal on windows, Simon Tatham is the developer.

If you want a puzzle challenge, check out puzzles submitted to logic masters There is also gmpuzzles, but there aren’t as many puzzles.