I think that the most important thing a woman can have - next to talent, of course - is her hairdresser.

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

非凡的主张需要非凡的证据才能让人信服。

你知道得越多，你需要得越少。