gwern comments on Lao Mein’s Shortform