宇宙很大，有时候你得自己制定规则。

我相信努力工作和坚持不懈。

Friends congratulate me after a quarterly-earnings announcement and say, 'Good job, great quarter.' And I'll say, 'Thank you, but that quarter was baked three years ago.'

我相信，通过我的电报将全世界艺术爱好者团结起来的日子不会太远。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

我不知道艺术是什么，但我知道我喜欢什么。