形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
我写作不是为了解释。我写作是为了探索。
失败只是另一种学习方式。
We must remember that literature is not just entertainment, it has a deeper meaning.
世界只给予我一次,不是存在一个又感知一个。
I think I have only one choice: either get busy living or get busy dying.