I have researched a lot into this. A thinkpad x1 carbon seems like the best machine for a developer.