今天，计算机科学博客 Computational Complexity 披露了一则消息：图灵奖得主、快速排序算法发明人、null 引用的提出者托尼·霍尔（Tony Hoare）于 2026 年 3 月 5 日在英国剑桥安然离世，享年 92 岁。

研究团队开发了一个名为Favia的智能系统，这个系统就像一位经验丰富的数字侦探，专门负责识别那些真正修复了安全漏洞的代码更新。在现实世界中，一个大型软件项目可能包含数百万行代码更改，但其中只有极少数是真正的安全修复。找到这些真正的修复就像在干草堆里寻找特定的针一样困难。

在软件安全的世界里，有一个看似简单却极其重要的问题：当开发者宣称修复了某个安全漏洞时，他们真的修对了吗？这个问题就像医生诊断病情一样关键——如果诊断错误，后果可能非常严重。挪威科技大学联合澳大利亚联邦科学与工业研究组织(CSIRO)的Data61部门，在这个领域取得了突破性进展。这项研究发表于2026年的arXiv预印本 ...