gwern comments on Victor Ashioya’s Shortform