gwern comments on Philip’s Shortform