"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."