I don't like defining myself. I just am.
如果你想成功，你必須準(zhǔn)備好受苦。
如果一臺(tái)計(jì)算機(jī)能夠欺騙人類，使其相信它是人類，那么它就有資格被稱為智能。
挑戰(zhàn)讓生活有趣，而克服挑戰(zhàn)讓生活有意義。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
"The writer's duty is to excavate truth, no matter how painful it may be."