In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.

在计算机体系结构中，唯一不变的是变化。

Grief is not linear. It doesn't follow a neat trajectory from denial to acceptance.

The key is to set realistic customer expectations, and then not to just meet them, but to exceed them—preferably in unexpected and helpful ways.

我们是没说出的话的主人。我们是说出的话的努力。