写作是为了抵抗遗忘。

公司的文化是由领导者的行动定义的。

语言不仅仅是交流的工具，更是一种存在于世界的方式。

译文：人活着时想尽千方百计追求名利，一旦哪天死去万事都终结了。赏析：我们追求名利没有错，但不要把它看得太重。人生短短的几十年，活着本来就不容易，为了一点名利争个你死我活，到头来终是一场空。

Hard work beats talent when talent doesn't work hard.

模型检查是验证有限状态并发系统正确性的强大技术。