成功的真正标准是我们对多少人的生活产生了积极影响，而不仅仅是收入数字。

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. The future of databases is in the cloud. Data is the new oil. It's valuable, but if unrefined it cannot really be used. It has to be changed into gas, plastic, chemicals, etc to create a valuable entity that drives profitable activity; so must data be broken down, analyzed for it to have value. The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.

世界的整个问题在于愚蠢的人和狂热分子总是对自己如此确定，而聪明的人则充满疑虑。

生活的最好方式是跟随你的心。

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。