有些人即使没有存心做坏事,可事实上事情仍会做错,引起不幸的后果。凡是粗心大意、看不出别人的好心好意,而且缺乏果断的人,都一样能害人。
每一部电影都是一次新的冒险,一个新的挑战。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最好的决策是结合数据和直觉做出的。