E-Ink 新闻日报

科技界哀悼计算机科学先驱托尼·霍尔爵士的逝世，他提出了快速排序算法、霍尔逻辑和空引用等基础性贡献。他在形式化方法和编程语言设计方面的工作影响了几代开发者和研究人员。霍尔通过众多奖项和其思想在现代计算中的持续应用留下了不朽的遗产。