我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

Nature hath made men so equal in the faculties of body and mind， as that though there be found one man sometimes manifestly stronger in body or of quicker mind than another， yet when all is reckoned together the difference between man and man is not so considerable as that one man can thereupon claim to himself any benefit to which another may not pretend as well as he.

我想我是不敢开心了，因为每次都会乐极生悲。

有时候生活会用砖头打你的头，但不要失去信心。

不要害怕失败；害怕不去尝试。

我们讲述的故事塑造了我们是谁。

为自己和你所相信的事情发声很重要。