"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

你的时间有限，所以不要浪费在过别人的生活上。

格式塔理论的基本“公式”可以这样表达：存在整体，其行为不是由其个别元素决定的，而是部分过程本身由整体的内在性质决定。

Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.

Commercial success can be a form of art.

译文：这种无端的愁绪最让人痛苦!不要去倚靠那高高的栏杆，夕阳正缓缓沉落，烟雾笼罩的柳林让人见了肝肠寸断。