最有趣的艺术是让你思考的艺术。

世界会打击每一个人，但经历过后，许多人会在受伤的地方变得更坚强。

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. The best way to predict the future is to invent it. The most important thing in a database is the data model. If you get the data model right, everything else will follow. 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.

真理是存在的无蔽。

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