书籍是飞机，是火车，是道路。它们是目的地，也是旅程。它们是家。
"Books are the plane, and the train, and the road. They are the destination, and the journey. They are home."
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
进化心理学不是关于人性中不可改变的部分，而是关于在我们祖先环境中具有适应性的部分。
我回首前尘往事，犯下重罪的小笨蛋，我想跟他沟通让他明白，但我办不到，那个少年早就不见了，只剩下我垂老之躯。
I like crossing the imaginary boundaries people set up between different fields—it's very refreshing.
英雄与恶棍之间的界限往往比我们想象的更薄。
The past is a shadow that shapes the present.
