我不知道有谁比我更需要一个拥抱。
意见正确而不被采纳，意见错误而不被废止，有功的人得不到奖赏，有罪的人得不到惩治，这样能够治理好百姓国家的，从来没有过。
If you get all the facts, your judgment can be right; if you don't get all the facts, it can't be right.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
The most successful products are those that anticipate needs people didn't know they had.
心理现象是大自然的生存实验。
模型只是模型，而非事物本身。因此我们既不能过分依赖它们，也不能完全不依赖。
自由是做法律允许的事情的权利。
Life is too short to drink bad wine or read bad books.