Space is the protagonist of architecture.

The challenge in model checking is not just to find errors, but to understand why they occur.

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 writer must believe that what he is doing is the most important thing in the world. And he must hold to this illusion even when he knows it is not true.