Garrett Baker comments on Wei Dai’s Shortform