The test of our progress is not whether we add more to the abundance of those who have much; it is whether we provide enough for those who have too little.

A good film is one that leaves the audience with more questions than answers.

The database is the most important piece of software in the enterprise, and the most important piece of software in the enterprise is the database. The database is the foundation of all applications. The database is the heart of the application, and the application is the heart of the business. The key to performance is to keep the hot data in memory.

学习数学的唯一方法就是做数学。

当我画画时，我什么都没想，只是在画。

Success is not final, failure is not fatal: It is the courage to continue that counts.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。