The highest form that civilization can reach is a seamless web of deserved trust-not much procedure, just totally reliable people correctly trusting one another...
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
我不必是人类才能理解生命的价值。
蓬草长在麻地里，不用扶持也能挺立住；白沙混进了黑土里，就会变得和土一样黑。
感谢音乐让我的人生如此丰富。
计算机科学对社会的影响是深远而广泛的。
情绪是为机体行动做准备的生物信号。
争论是俗不可耐的，因为道德社会里每个人都持完全相同的观点。