2023年，计算机科学领域痛失一位奠基人——Tony Hoare的离世让整个技术圈陷入追思。这位从古典学转型的学者，不仅创造了快速排序（Quick Sort）这一改变编程世界的算法，更以霍尔逻辑（Hoare Logic）和CSP并发模型奠……
