λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
Make it simple. Make it memorable. Make it inviting to look at. Make it fun to read.
The best way to find yourself is to lose yourself in the service of others.
Success is not about the amount of money you acquire, it's about the amount of lives you impact.