There is no God higher than truth.
故意去辞让官爵俸禄,以此来沽名钓誉,还不如根本不去辞让。
公众在得到之前并不知道自己想要什么。
If you’re not failing, you’re not pushing hard enough.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。