AI in the Trenches: What We're Really Learning About Coding with Machines