Architecture must be rooted in the local, but speak to the universal.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

对抗压力最强大的武器是我们选择一种思想而非另一种的能力。

I don't wait for opportunities. I create them.

我建议年轻艺术家尽己所能地画，只要还能画就不要害怕画得糟糕。

故事的强度取决于它的沉默。