0xc4ff31n3 comments on Wei Dai’s Shortform