People say that you should not micro-optimize. But if what you love is micro-optimization... that's what you should do.

Audience Q&A following interview panel at Aalto University Center, 2012