Knuth changed his mind. Your workflow should too.
·4 mins
Donald Knuth praising Claude’s “automatic deduction” is a cue for practitioners: stop treating coding agents like autocomplete and start using them as adversarial collaborators paired with tight verification loops.