I'm not comfortable with comfort. I'm only comfortable when I'm uncomfortable.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最好的领导者是那些能够授权他人领导的人。