There was an article from 1985 by Peter Naur on this posted recently on HN: "Programming as Theory Building": https://web.archive.org/web/20150224214427/http:

There was an article from 1985 by Peter Naur on this posted recently on HN: "Programming as Theory Building": https://web.archive.org/web/20150224214427/http://www.dc.uba.ar/materias/plp/cursos/material/programmingAsTheoryBuilding/ https://web.archive.org/web/20150224214427/http://www.dc.uba... https://news.ycombinator.com/item?id=20736145 https://news.ycombinator.com/item?id=20736145