There's a classic Peter Naur paper about this from 1985: "Programming as Theory ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tikhonj 4 months ago \| parent \| context \| favorite \| on: We put a coding agent in a while loop There's a classic Peter Naur paper about this from 1985: "Programming as Theory Building" https://pages.cs.wisc.edu/~remzi/Naur.pdf

metadat 4 months ago | [–]

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 4 months ago | [–]

found a copy that isn't a scanned paper:

https://gist.github.com/dpritchett/fd7115b6f556e40103ef

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact