"We're all in this together."

西西弗的神话

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

小说的艺术在于创造一个比现实本身更真实的世界。

有些人有谈判的能力。这基本上是一个天赋的艺术，要么有要么就没有。