gwern comments on leogao’s Shortform