4 ms·
There's a classic Peter Naur paper about this from 1985: "Programming as Theory Building" https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~
by tikhonj 1y ago
There's a classic Peter Naur paper about this from 1985: "Programming as Theory Building"
https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi/Naur.pdf
- metadat 1y agoDiscussed 7 months ago (45 comments): https://news.ycombinator.com/item?id=42592543 https://news.ycombinator.com/item?id=42592543 Great read overall, an interesting challenge to the conception that at its core, programming is about producing code.
- grimgrin 1y agofound a copy that isn't a scanned paper: https://gist.github.com/dpritchett/fd7115b6f556e40103ef https://gist.github.com/dpritchett/fd7115b6f556e40103ef