我们都在阴沟里，但仍有人仰望星空。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

理解宇宙的努力是为数不多的能将人类生活提升至闹剧水平之上，并赋予其悲剧优雅的事情之一。

The most reliable and cost-effective way to improve performance is to use parallelism.

有真才能的人不依恃才能，有真学问的人不夸耀学问。