Encoding tic-tac-toe in 13 bits | Hacker News Reader