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.