Every seed planted is a promise to the future.

Don't walk behind me; I may not lead. Don't walk in front of me; I may not follow. Just walk beside me and be my friend.

算法是计算的诗篇。

判断两个λ表达式是否等价的问题是无法解决的。

我不想成为这样一个世界的一部分，在那里善良是一种弱点。