在商業(yè)中，你得到的不是你應得的，而是你談判得來的。
In business, you don't get what you deserve, you get what you negotiate.
詩歌之美在于：它說出了無法言說之事。
知識的每一次進步都會帶來新的問題和新的困難。
形式驗證的挑戰(zhàn)在于彌合抽象模型與實際實現(xiàn)之間的差距。
愿這片美麗土地將永遠、永遠、永遠不再發(fā)生人與人之間相互打壓，以及遭全球唾棄的屈辱。讓自由戰(zhàn)勝一切。