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."
你知道得越多,你需要得越少。