技术本身并不重要。重要的是你相信人们，他们本质上是善良和聪明的，如果你给他们工具，他们会用这些工具做出奇妙的事情。
Technology is nothing. What's important is that you have a faith in people, that they're basically good and smart, and if you give them tools, they'll do wonderful things with them.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
It is hard to read a newspaper or watch a television newscast without encountering someone who has come up with a new 'solution' to society's 'problems.'
数学是理性的音乐。