Richard_Ngo comments on Wei Dai’s Shortform