[math-fun] Aaronson's puzzles