"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是銀彈，但它們是追求可靠系統(tǒng)的重要工具。
土地記得，即使人們忘記了。
生命太短暫，不要把時間浪費在無關緊要的事情上。
The best time to start making decisions that will shape your future is now.
解析：圣賢論學注重結合實際。
On motivation: "I strongly believe that missionaries make better products. They care more. For a missionary， it's not just about the business. There has to be a business， and the business has to make sense， but that's not why you do it. You do it because you have something meaningful that motivates you."
足球的進步不僅取決于球員的技術，還取決于比賽進行的智慧和公平性。