当遗憾取代梦想时，一个人才算老了。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

The complexity of viruses reminds us how much we still have to learn about biology.

Character is not something that you are born with and can't change, like your fingerprints. It's something you weren't born with and must take responsibility for forming.

最激动人心的发现往往来自意想不到的地方。

出自先秦《荀子·修身》。利益少，但是道义多，这样的事要做。在利与义之间要舍利而取义，强调的是一种修身原则。