Go read Peter Naur's "Programming as Theory Building" and then come back and tell me that LLMs can replace human programmers Ratfactor Feed 1 year ago