"The biographer's task is to illuminate, not to judge."
λ演算是一种表示函数及其应用的形式体系。
You have to believe in yourself when no one else does.
保持安静就是所谓的智慧洞察。
真正的旅程不在于发现新的风景,而在于用新的眼光去看。
Architecture is a battle against gravity.