Pretty much any of the Zachtronics games. Shenzen I/O, ExaPunks, Opus Magnum, and Last Call BBS are all fun "puzzle" games for programmers and people with programmer brains.
They're supreme cool among puzzle game fans, and among some not-usually-puzzle-fans who like their relatively open-ended nature more than the "one correct solution" type of puzzle games.
I know a lot of people find them intimidating though, to be fair.