我喜歡爭(zhēng)論，我喜歡辯論，我不希望任何人只是坐在我邊上，同意我的觀點(diǎn)，這不是他們的工作。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
人們對(duì)自己信念的自信程度主要取決于他們能對(duì)所看到的東西講述的故事的質(zhì)量，即使他們看到的東西很少。
夜晚是一個(gè)偉大的謎，但星星是它的線索。
The only constant in life is change.