书籍是世界上最强大的武器。
如果服务得好,临时的东西可以变成永久的。
Change starts with a single step, but it takes a collective effort to make it last.
自由是一种当你看着它时会变化的东西,就像森林近距离看时树木茂密,但从外面,从空旷的草地上看,你看到它的真正界限。自由与锁链或你的笼子有多宽无关。
天上永远不会掉下玫瑰来,如果想要更多的玫瑰,必须自己种植。
Every breakthrough starts with a question, and every question is a step toward the unknown.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
We are healed of a suffering only by experiencing it to the full.
我当时在纽约一家金融公司工作,同事是一群非常聪明的人,我的老板也很有智慧,我很羡慕他。我告诉我的老板我想开办一家在网上卖书的公司。他带我在中央公园漫步良久,认真地听我讲完,最后说:"听起来真是一个很好的主意,但是对那些目前没有谋到一份好工作的人来说,这个主意会更好。"这一逻辑对我而言颇有道理,他说服我在最终作出决定之前再考虑48小时。那样想来,这个决定确实很艰难,但是最终,我决定拼一次。我认为自己不会为尝试过后的失败而遗憾,倒是有所决定但完全不付诸行动会一直煎熬着我。在深思熟虑之后,我选择了那条不安全的道路,去追随我内心的热情。我为那个决定感到骄傲。
Money can buy comfort, but not the deeper satisfactions of life.