形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Technology has no borders, but companies have responsibilities.
"你越是试图找到真相，就越失去它。"
每一个人都应当为自己的行为负责。
两种文化之间的距离是最有趣的事情发生的地方。
我不是为评论家做音乐，我是为人们做音乐。