Qiaochu_Yuan comments on Yoda Timers 3: Speed