你越努力，就越幸运。

无穷的概念既迷人又令人困惑。

The future of computing lies in the development of systems that can verify their own correctness.

Luck has nothing to do with it, because I have spent many, many hours, countless hours, on the court working for my one moment in time.

解释：只要犯了罪，即使地位再高，也应受到处罚。

预测粮食未来的最好方法就是去创造它。

做出伟大工作的唯一方法就是热爱你所做的事情。