模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

I love people who make me laugh. I honestly think it's the thing I like most, to laugh. It cures a multitude of ills. It's probably the most important thing in a person.

小说是最能表达人类复杂性的体裁。

Sustainability isn't a choice anymore; it's our only path forward.

Any problem in computer science can be solved with another layer of indirection.

A writer must be willing to fail.