gwern comments on Viliam’s Shortform