写作是一种政治行为，因为它揭露了隐藏的东西。

不要害怕冒险。最大的回报往往来自于最大的风险。

The future of computing lies in the development of systems that can verify their own correctness.

I don't want to be a role model. I want to be a reference.

The future is hidden even from those who make it.

【译文】贫穷而没有怨恨很难，富裕而不骄狂是容易的。