在硅谷的工程师鄙视链里，有一群人是站在金字塔绝对顶端的。他们不写炫酷的前端，不搞花哨的产品，他们终日潜伏在操作系统的底层，和编译器、构建系统、虚拟文件系统死磕。他们存在的意义，是保证像 Meta 这样拥有几十亿行代码、上万名工程师的超级代码库，在每一次敲击回车时不会彻底崩溃。 Michael Bolin 就是大厂技术江湖里，真正镇守底层的“扫地僧”。 作为前 Meta 的杰出工程师（Disting ...

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

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