[dhorthy]

I have had the phrase "programming is building a theory" spinning in my head for days, especially since watching this pragmatic engineer pod with Kent Beck https://www.youtube.com/watch?v=ddHQQtjIOpw

[_doctor_love]

You're hopefully already aware that this references a famous paper from 1985? https://pages.cs.wisc.edu/~remzi/Naur.pdf