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

房子是居住的机器，但它也必须是一个家。

"I am not a body, I am a word."

有时候当狗还真难。

It has yet to be proven that intelligence has any survival value.

人生は、選択の連続だ。そして、その選択が私たちの未来を形作る。

我们需要犯错的自由，承认错误的勇气，以及从中学习的智慧。

The obligation of subjects to the sovereign is understood to last as long, and no longer, than the power lasteth by which he is able to protect them.

我不是为了让人们喜欢而创作艺术，而是为了让人们思考。