Life is what happens when you're busy making other plans.
Mathematics is the language in which the gods talk to people.
生活如果不搞笑的话那将成为一幕杯具。
To exist is to have a subjective existence.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."