令人惊讶的是，像我们这样的人，通过努力不断地避免愚蠢，而不是试图变得非常聪明，获得了多么巨大的长期优势。
It is remarkable how much long-term advantage people like us have gotten by trying to be consistently not stupid, instead of trying to be very intelligent.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The process of making a film is as important as the final product.
你必须对自己的能力有信心，然后足够坚强地坚持下去。