λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
You don’t write because you want to say something; you write because you’ve got something to say.
Claiming your 20s is one of the simplest, yet most transformative, things you can do for work, for love, for your happiness, maybe even for the world.
战争的权利源于万国法,而万国法建立在全人类同意的基础上。