比被人谈论更糟糕的是不被谈论。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

我总是相信自己能赢，但我知道这并不容易。

"The best way to lead is to be vulnerable."

在某种程度上，我们都是流亡者，寻找一个可能并不存在的家。

在爱情中我们都是傻瓜。