λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
预测未来的最好方法就是创造未来。
The only thing that stands between a person and what they want in life is the will to try it and the faith to believe it’s possible.
The best way to predict the future is to invent it.
Persistence is the key to unlocking the mysteries of medicine.
Diversity in thought and background fuels innovation—embrace it.
In programming, as in everything else, to be in error is to be reborn.