You have to stay true to yourself and your art.
Just the discipline of having to put your thoughts in order with somebody else is very useful thing.
一本书可以是一个朋友、一位老师和通往另一个世界的门。
The most dangerous phrase in the language is, 'We've always done it this way.'
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."