形式系统的发展彻底改变了我们对数学的理解。
打开纠缠在一起的绳结的最好方法,不是要去「解开」绳结,而是要不断地把松动的部分拉得更宽。尽可能把那团乱麻弄大、弄松、弄开。当你打开绳结的时候,它们就会自行解开。这招适用于绳索、线、软管、毛线或者电线。
I’m not a guy that’s going to let my love for my name down.
The most dangerous thing in the cloud industry is to stop learning.
海洋的恩赐是一种特权,而不是一种权利。
Never stop learning—the moment you do, you start falling behind.