"When you love what you do, you don't see it as work."
当你热爱你所做的事情时,你不会把它视为工作。
我喜欢自己做选择的自由。
寻找真理的人的存在,远比那些认为自己已经找到真理的人的存在更值得珍视。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."