我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
宇宙是一个谜题,每一次发现都是让我们更接近完整画面的一块拼图。
A journey is a person in itself; no two are alike. And all plans, safeguards, policing, and coercion are fruitless. We find after years of struggle that we do not take a trip; a trip takes us.
If you don’t take risks, you’ll never know what you could have achieved.