地球撞上太陽還需要1千百萬百萬百萬百萬年，所以眼下沒有啥好擔(dān)心的！
最好的故事是那些讓你感覺不那么孤單的故事。
欣賞競爭的過程。這不僅僅是關(guān)于贏或輸，而是關(guān)于尊重對手和比賽。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
He who refuses to do arithmetic is doomed to talk nonsense.