"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我們需要將軟件不僅僅視為代碼，而是可以分析和驗(yàn)證的數(shù)學(xué)對(duì)象。
The people are the roots, the people are the foundation, the people are the source of strength.
Stay true to yourself and never let what somebody else says distract you from your goals.
創(chuàng)新不僅僅是技術(shù)的問(wèn)題；它關(guān)乎改變?nèi)藗兊乃季S和生活方式。
Ignoring isn’t the same as ignorance, you have to work at it.
成功最好的部分就是能夠每天做自己喜歡的事。
Sustainability is not an option; it’s a responsibility.
在社會(huì)的初期，國(guó)家的首領(lǐng)塑造其制度；后來(lái)，制度塑造國(guó)家的首領(lǐng)。
你無(wú)法改變你周?chē)娜?，但你可以改變你選擇與誰(shuí)在一起。
If you can dream it, you can achieve it.
The only limit to our realization of tomorrow will be our doubts of today.