Peter Naur's death was previously discussed at https://news.ycombinator.com/item?id=10832624 https://news.ycombinator.com/item?id=10832624 - this doesn't seem t

Peter Naur's death was previously discussed at https://news.ycombinator.com/item?id=10832624 https://news.ycombinator.com/item?id=10832624 - this doesn't seem to add much