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

For a copy of Naur’s paper and also my notes about it, see:

Dave’s Paper Notes: Programming as Theory Building

In this essay, I will perform the logical fallacy of argument from authority (wikipedia.org) to attack the notion that large language model (LLM)-based generative "AI" systems are capable of doing the work of human programmers.