我们不能总是选择我们所面临的问题,但我们总是能够选择对问题的回应。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
人类似乎有这样的倾向,建立一项规则叫别人遵守,同时又极力使自己成为例外,不受它的约束。
我相信计算的未来在于并行性。