艺术是让我们认识真相的谎言。
Art is the lie that enables us to realize the truth.
我们不仅要造车，更要造好车。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
历史的终结将是一个非常悲伤的时刻。为纯粹抽象目标而奋斗、愿意冒生命危险的斗争，以及激发勇气、想象力、理想主义的全球意识形态斗争，将被经济计算、无休止的技术问题解决、环境关注和复杂消费需求的满足所取代。
The end of history will be a very sad time. The struggle for recognition, the willingness to risk one's life for a purely abstract goal, the worldwide ideological struggle that called forth daring, courage, imagination, and idealism, will be replaced by economic calculation, the endless solving of technical problems, environmental concerns, and the satisfaction of sophisticated consumer demands.
The future of banking lies in the seamless integration of technology and human expertise.
你控制你的未来，你的命运。你所想的就会实现。通过在纸上记录你的梦想和目标，你启动了成为你最想成为的人的过程。把你的未来放在好的手中——你自己的手中。
We must be free not because we claim freedom, but because we practice it.
I'm as proud of many of the things we haven't done as the things we have done.Innovation is saying no to a thousand things.
对认可的渴望，灵魂中的激情部分，是灵魂中最具政治相关性的部分。