创新不仅仅是创造新事物，而是让现有的变得更好。
经济政策中的规则而非自由裁量权有助于避免短期政治压力的陷阱。
The best way to be happy is to be kind.
心理学必须是纯粹实验性和分析性的。
The most important thing in the programming world is to make sure that the software we create is reliable and efficient.
The more you know yourself, the more you realize how powerful you are.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.