作家必须既是梦想家，又是现实主义者。
I'm the type of guy that'll make you wanna slap your grandmama.
思维的功能是指导行动。
身虽处天地万物之后，心却不在天地万物之前；身虽处天地万物之中，而心却在天地万物之上。
"In a world without God, we must create our own meaning, even if it is ultimately meaningless."
能源转型不是选择；它是我们星球生存的必要条件。
The only way to understand another culture is to assume the frame of reference of that culture.
对心灵的研究必须是纯粹分析性的。
领导力就是做出艰难的决定并坚持它们，即使这些决定不受欢迎。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."