The CEO of GitHub described the "key for winning" when it comes to AI coding tools for software engineers. Thomas Dohmke said it's key for an AI agent to write code that the developer can quickly ...