[armanboyaci]

I believe your description of software development is highly aligned with the ideas of peter naur, programming as theory building.

https://pages.cs.wisc.edu/~remzi/Naur.pdf

[digdugdirk]

I love when this paper pops up, because now I get to recommend a relevant episode of a really great, really nerdy podcast:

https://futureofcoding.org/episodes/061.html

[brianzelip]

Thanks for the pointer, lots of good looking topics in the back log!