Writing is a form of personal freedom. It frees us from the mass identity we see in the making all around us.
In the end, we are our choices. Build yourself a great story.
人生幸福的三大要素是:有事可做,有人可爱,有希望可期待。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
学习不是一个被动的过程;它涉及知识的主动构建。
Liberty consists in doing what one desires.