Peter Naur's "Programming as theory building" comes to mind: https://software-carpentry.org/blog/2016/10/programming-as-theory-building.html https://software-c

Peter Naur's "Programming as theory building" comes to mind: https://software-carpentry.org/blog/2016/10/programming-as-theory-building.html https://software-carpentry.org/blog/2016/10/programming-as-t...