我比我想象的更坚强。

Love is the only thing we take with us when we die. It makes death so easy.

世界上充满了显而易见的事情，但偏偏没有人注意到。

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

我似乎总是想以最节能的方式，用自然界里最平常的东西来造各种东西。

完成比完美更重要。