我不是来取悦任何人的。
The truth is rarely pure and never simple.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
你唯一应该努力超越的人是昨天的自己。
The only way to do great work is to love what you do.
我们没有兴趣冒着很大的风险，把很多非常正派的人的钱财归零的方式让自己的净资产多一个零。