[sbuttgereit]

This is far from the first time I've evangelized this paper here on HN... but I think the ideas of the OP and the Naur paper "Programming as Theory Building" have a high degree of overlap. Indeed, at some level, the Naur paper deals with identifying the problem while the OP deals with practices to bridge the knowledge gap identified in the paper.

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

[jonnydubowsky]

Thanks for the recommendation! Already enjoying this!

[usrme]

There are also plain text versions of that paper if you're interested:

- https://pastebin.com/raw/WwXKAGnW

- https://gist.github.com/onlurking/fc5c81d18cfce9ff81bc968a7f...