The greatest architecture is born from necessity.
The best way to predict the future is to create it.
模型检查是验证有限状态并发系统正确性的强大技术。
在我看来,现在有许多人—甚至包括科学家—似乎都只是见树不见林。关于历史与哲学背景的知识,可以提供给那些大部份正受到当代偏颇观念所左右的科学家们一种不随波逐流的独立性。这种由哲学的洞察力所创造的独立性,依我来看,正是一个工匠或专家,与一个真正的真理追寻者之间,最大的区别。
"Freedom is nothing but a chance to be better."
The challenge in computer science is not just to solve problems, but to understand why they are problems in the first place.