你做得越多,学到的就越多。你学到的越多,能做的就越多。
唯一能拯救世界的是重新获得对世界的意识。
The biggest risk is not taking any risk. In a world that is changing quickly, the only strategy that is guaranteed to fail is not taking risks.
Thirty five is a very attractive age; London society is full of women who have of their own free choice remained thirty-five for years.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."