The future belongs to those who understand that doing more with less is compassionate, prosperous, and enduring.

我不是为读者写作，我是反对读者写作。

为自己的原则而战比实践这些原则要容易。

过去从未死去。它甚至不是过去。

在这个行业里，如果你很优秀，十次中你会对六次。你永远不会十次中对九次。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

打击非法捕捞就是为正义而战。