我们都被自己选择的幽灵所困扰。
"We are all haunted by the ghosts of our choices."
The best thing about success is knowing that your work has paid off.
判断两个λ表达式是否等价的问题是无法解决的。
Every detail matters, because every detail is part of the whole.
每一次失败都是一堂课,让你更接近成功。
理论物理对于实验物理学家,就像和声理论对于作曲家一样。
成功不在于你赚了多少钱,而在于你对人们生活的影响。