I don’t like to be comfortable. I like to be challenged.
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
人们问我如何创作音乐。我告诉他们我只是走进它。就像走进一条河流加入水流。河流中的每一刻都有它的歌声。