Not everyone sees these developments as a death knell for coding jobs. Armando Solar-Lezama, who, as the leader of M.I.T.’s Computer Assisted Programming Group, spends his days thinking about how to ...