阅读是不动身旅行，是在一生中活上千次。

战胜竞争对手的唯一方法，就是停止试图战胜竞争对手。

语言是我们思想的镜子。

The challenge in model checking is not just to find errors, but to understand why they occur.

因果革命不仅仅是关于人工智能；它是关于重新思考我们如何理解世界。