Grace Hopper and GitHub have more in common than capital letters

Opinion  Here are two snapshots of AI in coding in mid 2025. The CEO of GitHub, coding’s universal termite mound, says that AI is going to do all the coding and that’s a good thing. Meanwhile, real life AI coding tools make coders less productive while spreading the hallucination that they’re more so.…