3 ms·Different strokes, I guess. I take 34 minutes out of my day to watch a Knuth video every chance I get.by michael_dorfman 16y agoDifferent strokes, I guess. I take 34 minutes out of my day to watch a Knuth video every chance I get.