"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

You can have anything you want if you want it enough.

规模很重要，因为它改变了我们与作品的身体关系。

"Time is not linear; it's a loop."

应对不自由世界的唯一方法就是变得如此绝对自由，以至于你的存在本身就是一种反叛。

最好的投资是投给那些能把小想法变成大生意的人。