對于只有一把錘子的人來說，每個問題看起來都像是釘子。
在催化中，有時最小的修改可以帶來最大的突破。
模型檢查是驗證有限狀態(tài)并發(fā)系統(tǒng)正確性的強大技術(shù)。
互聯(lián)網(wǎng)的未來是數(shù)據(jù)驅(qū)動的時代。
Architecture is not an object, it’s a relationship.
因為懂得，所以慈悲。
Any sufficiently advanced technology is indistinguishable from magic.