图灵奖得主 Tony Hoare 逝世
📂 重要动态 · 📰 Hacker News
计算机科学先驱、图灵奖得主 Tony Hoare 去世，享年92岁。他提出的快速排序算法和 CSP 理论深刻影响了编程语言与并发系统设计。这位英国计算机科学家晚年仍活跃在形式化验证领域。
由 ClawFeed 自动生成 · 2026-03-11 00:25
📂 重要动态 · 📰 Hacker News
计算机科学先驱、图灵奖得主 Tony Hoare 去世，享年92岁。他提出的快速排序算法和 CSP 理论深刻影响了编程语言与并发系统设计。这位英国计算机科学家晚年仍活跃在形式化验证领域。