我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
You don't get over a loss like that; you learn to live with it.
我不是为当下做音乐,我是为未来做音乐。
We are all living in a state of controlled chaos.