技术应该让我们成为更好的管理者,而不是更高效的掠夺者。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
"We are all alone, born alone, die alone, and—in spite of True Romance magazines—we shall all someday look back on our lives and see that, in spite of our company, we were alone the whole way."
对于非礼的事,上等到的士人根本不想;对于非礼的事,中等的士人从来不说;对于非礼的事,下等的士人紧闭门户。
为了如今仰望太空,注视月球和遥看繁星的人们,我们发誓,我们决不允许太空被那些敌对国家(原文为旗帜)所征服,我们会看到自由与和平的旗帜在飘扬。(1962年我们选择登月演说)
The goal of a successful trader is to make the best trades. Money is secondary.