我们钦佩的人的品质，善良和慷慨、开放、诚实、理解和感情，是我们系统中失败的伴随物。而我们憎恶的特质，精明、贪婪、占有欲、卑鄙、自我中心和自私，是成功的特质。
The things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success.
我们期望晚餐不是出自屠夫、啤酒商或面包师的仁慈，而是出自他们对自身利益的考虑。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
技术的问题是我们生活的真理与非真理的星座问题。
The advantage of a ridiculously ambitious goal is that it sets the bar very high so even in failure it may be a success measured by the ordinary.
善良的行为是最高尚的美德。
"What lies behind us and what lies before us are tiny matters compared to what lies within us."