Wei Dai comments on Techniques for optimizing worst-case performance