You have to believe in yourself when no one else does.

在学习结束时，我们知道物理学的所有过去，但对现在和未来一无所知。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

每个人都像月亮，有着从来不让任何人看见的黑暗面。

Patience and perseverance are the keys to scientific discovery.

Your heart just breaks, that's all. But you can't judge or point fingers. You just have to be lucky enough to find someone who appreciates you.

最好的投资是那些能比别人更早看到未来的人。