We no longer control information； it controls us.
我不是一个对名声感到非常自在的人。我是一个歌手。我唱歌。这就是我做的。这就是我爱的。
在计算机科学中追求知识是一段永无止境的旅程，每一次发现都为新的问题打开了大门。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
是罪行而不是断头台带来耻辱。
The concept of the social sculpture is the most important thing.
诚信是领导力的货币。