图灵奖

快排算法之父、图灵奖得主托尼·霍尔逝世，享年92岁 在计算机科学领域，几乎无人能绕开快速排序算法。作为全球使用最广泛的排序算法之一，它已被集成进从C、Java到Python等几乎所有主流编程语言的标准库中。 然而，快速排序仅仅是托尼·霍尔漫长而卓越学术生涯的起点。作为1980年图灵奖得主，他提出了用于形式化验证程序正确性的霍尔逻辑，创造了深刻影响Go语言设计…