| ▲ | Peter Neumann has died(tuhs.org) | |
| 74 points by pabs3 5 hours ago | 3 comments | ||
| ▲ | jamesholden 26 minutes ago | parent | next [-] | |
https://www.nytimes.com/2012/10/30/science/peter-g-neumann-a... | ||
| ▲ | gnabgib 4 hours ago | parent | prev | next [-] | |
Previously (25 points - same list, LWN host) https://news.ycombinator.com/item?id=48172640 | ||
| ▲ | Tempest1981 an hour ago | parent | prev [-] | |
https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2... | ||