我寫劇本不是為了被喜歡,而是為了讓人們思考。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Wise men talk because they have something to say; fools, because they have to say something.
銀行要平衡好規(guī)模、效益和質(zhì)量的關(guān)系。