The intelligent investor is a realist who sells to optimists and buys from pessimists.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The people who are crazy enough to think they can change the world are the ones who do.

我每天提醒自己一百遍，我的生活，不管内在或是外在，都是以他人(包括活着的和逝去的)努力的成果为基础。所以我必须尽力奉献自己，希望能以同等的贡献，来回报长久以来从他人身上所获得的一切。