"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

我不是梦想家，我是实干家。

解决数学问题的喜悦是无与伦比的；这是纯粹的智力胜利的时刻。

性能不仅仅是速度，还包括效率和可扩展性。

Truth in drama is always elusive, but that doesn't mean we shouldn't chase it.

Monads are indivisible entities, the basic elements that constitute the world.

"A story is never finished, only abandoned."

一本好书应该是劈开我们内心冰海的斧头。