Peter Neumann has died

3 comments

• Tempest1981 33 minutes ago
  https://cacm.acm.org/news/in-memoriam-peter-g-neumann-1932-2...
• gnabgib 3 hours ago
  Previously (25 points - same list, LWN host) https://news.ycombinator.com/item?id=48172640
• aaron695 1 hour ago
  [dead]