λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
促进民主的最有效方式不是通过军事干预,而是通过建立制度和促进经济发展的缓慢而稳定的过程。
Music can change the world because it can change people.
Passion is the fuel that drives innovation and success.
身体是精神的载体,是神圣之物。
Technology should serve the forest, not exploit it.《Sustainable by Design》