形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
你对自己了解得越多,你对在别人身上看到的东西就越有耐心。
我的态度是,如果你把我推向你认为的弱点,那么我会把这个被认为的弱点变成优势。
工作的完美程度取决于方法的简洁性。
The true cost of fish should include the cost of keeping our oceans healthy.
Welcome, O life! I go to encounter for the millionth time the reality of experience and to forge in the smithy of my soul the uncreated conscience of my race.
成功不仅仅在于你取得了什么,还在于你如何取得它。