gwern comments on Bogdan Ionut Cirstea’s Shortform