Not all time spent is equal. Spending slack time to improve efficiency so that you are more efficient during crunch time is generally worth it.
> Lots of these micro-optimizations are saving dozens of milliseconds
I think you underestimate how much time it takes to move your hand to the mouse and move it back to the keyboard. It's at least half a second but likely more.
> Lots of these micro-optimizations are saving dozens of milliseconds
I think you underestimate how much time it takes to move your hand to the mouse and move it back to the keyboard. It's at least half a second but likely more.