λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
Choose always the way that seems the best, however it may be; custom will soon render it easy and agreeable.
没有人是有极限的。
最好的写作是使熟悉的事物陌生化,使陌生的事物熟悉化。
最微小的细节往往承载着最深刻的意义。
Money is not my motivation. I’m driven by my passions.
"The goal of AI should be to augment human intelligence, not replace it."
The best art comes from pain.