To write is to confront the darkness within.
如果你想成为伟大的领导者,就必须善于倾听。
谦逊是科学家所能拥有的最大美德。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."