积极心理学不仅仅是微笑；它是关于什么使生活值得过的科学研究。

我就是沃霍尔。我是我们这一代最具影响力的艺术家。我是活着的莎士比亚。

教育是点燃火焰，而不是填满容器。

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

建筑是一种挑战，是对极限的挑战。

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

永远不要过度交易。