gwern comments on The Power of Pomodoros