On: How Often Should We Sharpen Our Tools?

[eternityforest]

That's probably a better way to think about it, rather than everyone having to spend so much time justifying their choice of tools, and feeling guilty if they don't spend hours constantly chasing slightly improved efficiency like a robot.