I'm not a role model. I'm just a person trying to figure it out like everyone else.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
一部好小说应该像一颗炸弹,在读者脑海中爆炸并留下持久的影响。
The true cost of overfishing is measured in empty nets and broken communities.