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

"Every frame is a painting, and the camera is your brush."

We must be vigilant in protecting the Internet from those who would misuse it.

唯一能阻止你的人是你自己。

倾听公司里的每个人，并想办法让他们说话。

在极端环境中发现生命重新定义了生物学的边界。

I don't look for excuses. I look for solutions.

译文：一起观察世人所崇尚的，悠闲地选择美好的时光。

你必须花费一些精力和努力才能看到数学的美。