“我们都在以不同的方式，试图逃离自己思想的陷阱。”
The desires， and other passions of man， in themselves， are in his own power； his real difficulties are， to know when they are to be controlled， and when not.
成为一名作家就是在每天的寒冷时刻坐在桌前写作；不是等待从胸骨中迸发出天才的蓝色火焰——只是写作。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
发现的旅程和目的地本身一样重要。
Understanding the fundamental particles and forces of nature is key to unlocking the mysteries of the universe.
