RT @paulg: Talked to a programmer today who said AI coding tools made him about 10x more productive. Though 10 seems like a round number, t…