这个世界是个美好的地方，值得为之奋斗。

我们要做的是让中国汽车工业在全球市场上赢得尊重。

自动机和形式语言的研究对于理解计算的极限是基础性的。

To write is to reach that point where only language acts, 'performs', and not 'me'.

当代艺术是现代性未完成事务得以解决的舞台。

你无法满足所有人的要求。

计算的未来在云端，云端就是计算的未来。

最重要的是保持真实。