The most important thing in the programming language is the ability to express algorithms clearly and concisely.

青蒿素的发现是传统中医药给人类的礼物。

大多数战略的问题不在于它们是错误的，而在于它们是无关紧要的。

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

Music has the power to heal, to inspire, and to bring people together.

意义来自于归属于并服务于超越自我的事物，以及发展你内在的最佳品质。

Time and memory are true artists; they remould reality nearer to the heart’s desire.