gwern comments on Raj Thimmiah’s Shortform