

See, Dijkstra was talking about people trying to create programs in natural language. He didn’t say not to use your natural language to hire someone else to make a formal program. This is people using natural language to hire an LLM to make a formal program, and asking LLMs is like asking people, so it’s Dijkstra-approved. 















Directly from KCNA here: http://www.kcna.kp/en/article/q/64e900f5bd0353837ca02d7babcce3adf0e6857b3bc915d1758c332d4b2dcdc2e90b7d9d2886bc48b3cc61aad7ed43cc.kcmsf