We don't just manufacture drugs; we manufacture possibilities for healthier futures.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

我不在乎过去，我在乎未来。

江河不嫌弃用小溪的水来灌注自己，所以能汇成巨流。被称为圣人的人，不推辞难事，不违背自然规律，所以能成为名扬天下的大人物。

历史是让死者开口说话的艺术。

译文：有德行的人不会去炫耀自己的长处，有修养的人是不会去夺取别人喜欢的东西。赏析：不要随便议论别人的缺点，切莫夸耀自己的长处。做人低调不张扬，才不会引起别人的嫉妒和报复。别人喜欢的东西，不要一心想占为己有。

写作就是直面存在的混乱并赋予其意义。