Programming as Theory Building
Naur argues that programming is not mainly producing text, but building a theory around the problem and solution that can be explained, extended, and revised.
Naur argues that programming is not mainly producing text, but building a theory around the problem and solution that can be explained, extended, and revised.
Knuth argues that programming is both science and art: it needs formal foundations, but also taste, style, and aesthetic judgment.
Now that AI coding has crossed into production, programmers are becoming one of the earliest white-collar groups facing large-scale replacement. Productivity is surging, headcount is shrinking, and behind the excitement there is not just a growth story but a quieter elimination process.