How Developers Amp Up Their Productivity