The pursuit of happiness is not about chasing after pleasure but about cultivating meaning.
Don't give up on your dreams because of difficulties.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
译文:有钱有酒的时候,身边就有兄弟朋友,可遭遇困难的时候,身边哪里能看一个人呢。赏析:远离为了利益而交的朋友,结交相互欣赏,相互帮助的知心朋友。酒肉朋友再多也不如一个知心朋友。