我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
科技领域最大的风险是不冒任何风险。
空间必须被感受才能被理解。
我写作是为了理解、把握、抓住那些逃避我的现实。
我们感知世界的方式深受我们过去的经历和我们讲述给自己的故事的影响。