"The past is always with us, for it feeds the present."
过去总是与我们同在,因为它滋养着现在。
Efficiency without ethics is just speed in the wrong direction.
判断两个λ表达式是否等价的问题是无法解决的。
The P versus NP problem is one of the most important problems in computer science.
贪婪和对权力的渴望带来了战争和世界上的困扰。
Beauty is not the goal of art, but its byproduct.
Sometimes the simplest ideas make the best stories.
I'm not a perfect person. I never claimed to be.