阅读只为心灵提供知识的材料；是思考使我们所读的东西成为我们自己的。

Innovation requires both courage and perseverance.

The dominant kind of snobbery that exists nowadays is job snobbery. You encounter it within minutes at a party, when you get asked that famous iconic question of the early 21st century, "What do you do?" According to how you answer that question, people are either incredibly delighted to see you, or look at their watch and make their excuses.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。