Never underestimate the power of long-term thinking in a short-term world.
在一个短期思维的世界里,永远不要低估长期思考的力量。
Art is a form of resistance.
The study of Galois representations is a bridge between number theory and geometry.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
I know I played like crap, but you don't know me in order to let oneself have less like shit, how much effort.