4 ms·
I think the paper was Programming as Theory Building by Naur. The search fails me so here is at least its appearance here in 2016: https://news.ycombinator.com/
by compressedgas 7y ago
I think the paper was Programming as Theory Building by Naur. The search fails me so here is at least its appearance here in 2016: https://news.ycombinator.com/item?id=10833278 https://news.ycombinator.com/item?id=10833278
- theonething 7y agoThis is it. HN (and specifically you) come through. I love this place. Thank you!