The future of computing lies in the development of systems that can verify their own correctness.
每个故事都有一个目的,每个声音都值得被听到。
最大的痛苦莫过于心中有个未讲的故事。
计算机科学中的真正挑战不仅仅是建造更快的计算机,而是开发更聪明的算法。
过去是知识的源泉,未来是希望的源泉。热爱过去意味着对未来的信心。
父母死气沉沉的生活对周围人特别是自己孩子的影响,是无与伦比的。