没有比真理更高的神。
There is no God higher than truth.
永远不要低估一个拥有共同进步愿景的团队的力量。
He who is content is always happy; endless desires never find satisfaction.
The theory of computation is not just about solving problems, but also about understanding the limits of what can be computed.