Music is supposed to inspire people to do something, to be better.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

城市是人类最伟大的发明，而建筑是它的语言。

The past is a shadow that follows us, a ghost that haunts us.

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.

【译文】 孔子说：“颜回真贤德！一篮饭，一瓢水，在陋巷，人人都愁闷，他却乐在其中。颜回真贤德！

The story is a vehicle to carry ideas, not the other way around.