| ▲ | tikhonj 8 days ago | |
There's a classic Peter Naur paper about this from 1985: "Programming as Theory Building" | ||
| ▲ | metadat 8 days ago | parent | next [-] | |
Discussed 7 months ago (45 comments): 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 7 days ago | parent | prev [-] | |
found a copy that isn't a scanned paper: | ||