量子通信的安全性来自物理定律，而不是计算复杂性。

关于地精和精灵的观念与黑暗和光明没有任何关系。

最好的设计来自于限制，而非无限的可能性。

The best companies are started not because the founder wanted a company but because the founder wanted to change the world.

自守形式的研究是进入未知领域的旅程。

理论计算机科学不仅仅是关于算法和数据结构；它是关于理解计算的基本限制。

The challenges of today's coal industry require bold leadership and vision.

最难原谅的人永远是自己。