做伟大工作的唯一途径就是热爱你所做的事。

The first step in the art of cutting metals is to find a man who has the necessary skill and experience.

The wild teaches you that you are capable of more than you think.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

真正的大不敬是不尊重别人的神。