高尔夫最美妙的地方在于,无论你变得多么优秀,你总能变得更好。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
同有修养的人交谈,胜过闷头读十年书。
"Leadership is not about being in charge. It is about taking care of those in your charge."