J Bostock comments on Wei Dai’s Shortform