frontier64 comments on Wei Dai’s Shortform