Naur's "Programming as Theory Building" and LLMs replacing human programmers

> Go read Peter Naur's "Programming as Theory Building" and then come back and tell me that LLMs can replace human programmers

Which to me gives a very different understanding of what the article is going to be about than the current HN title. This is not a criticism of the submitter, I know HN has a character limit and sometimes it’s hard to condense titles without unintentionally losing meaning.