Search whole site: site:ratfactor.com
Search title: Go read Peter Naur's "Programming as Theory Building" and then come back and tell me that LLMs can replace human programmers - ratfactor
See how to search.