https://mw.magneticflux.net/tags/software-engineering/ Recent content in Software Engineering on MagneticFlux LLC Hugo en-us This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. Mon, 30 Mar 2026 12:00:00 +0000 https://mw.magneticflux.net/posts/programming/dijkstra-coding-agents-and-natural-language-programming/ Mon, 30 Mar 2026 12:00:00 +0000 https://mw.magneticflux.net/posts/programming/dijkstra-coding-agents-and-natural-language-programming/ AI coding assistants have made natural language a far more powerful front-end for software development, but that does not mean English has become a programming language in Dijkstra’s stronger sense. The important distinction is not between prompts and code alone, but between informal steering, empirical development loops, and programs understood as formal artifacts whose correctness can be reasoned about.