我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
Success is a journey, not a destination.
Innovation is the soul of an enterprise; without innovation, there is no future.
没有人比团队更重要。如果你不能按照我们的方式做事,你就无法留在这里。
I try to create works that don't judge.
I don't want to make things that are difficult for people. I want to make things that are easy.