3 ms·
“Programming as theory building” by Peter Naur touches that. https://news.ycombinator.com/item?id=10833278 https://news.ycombinator.com/item?id=10833278
by hcarvalhoalves 4y ago
“Programming as theory building” by Peter Naur touches that.
https://news.ycombinator.com/item?id=10833278 https://news.ycombinator.com/item?id=10833278