People just don't understand how obsessed I am with winning.
人们只是不懂我有多么热爱胜利。
A 'performative' utterance is not true or false， but happy or unhappy.
投资不是要在别人的游戏中击败他们，而是要在自己的游戏中控制自己。
Only our individual faith in freedom can keep us free.
未说出的往往比说出的更有力量。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The universe we observe has precisely the properties we should expect if there is, at bottom, no design, no purpose, no evil, no good, nothing but blind, pitiless indifference.
Sustainability is not an option; it's a responsibility we owe to future generations.