技术最终要服务于人，而不是让人去适应技术。
Technology should ultimately serve people, not the other way around.
I'm not a politician, I'm a performer.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
每天都要努力变得比起床时聪明一点。忠实而出色地履行职责。你会有条不紊地出人头地，但不一定会一蹴而就......最后，如果你活得足够长，大多数人都会得到他们应得的。
语言的美在于它能够传达无法表达的东西。
在一个人口过度拥挤的世界里，人们不太愿意接受他人的多样性，更容易将他人视为对自身身份的威胁。