gwern comments on Harri Besceli’s Shortform