Europrogramming is a software development practice that integrates formal methods, specifications, and machine-checkable proofs into the coding process, emerging from decades of theoretical computer science research. The term reflects a growing need to maintain human control and understanding as AI-assisted coding accelerates software generation beyond manual inspection capacity. The practice builds on Eurotheory, a European tradition in theoretical computer science spanning formal models, logic, and verification.
Silicon Valley's fictional 'Tethics' code of ethics—plagiarized and performative—contrasts with real software engineering ethics frameworks like the 1997 ACM/IEEE-CS code emphasizing public interest, integrity, and professionalism, and Bob Martin's principles demanding quality code and sustainable productivity.
Kathi Fisler, Shriram Krishnamurthi, and Michael Littman argue that AI programming agents present an opportunity rather than a threat to computing education. They propose reframing introductory courses as early software-engineering courses that teach students responsibility for AI-assisted code, using the 'flaky compiler' metaphor to explain AI capabilities and limitations.