Theorems are of no value unless they are beautiful.
除非定理是美丽的,否则它们毫无价值。
监狱里的高墙实在是很有趣。刚入狱的时候,你痛恨周围的高墙;慢慢地,你习惯了生活在其中;最终你会发现自己不得不依靠它而生存。这就是体制化。
用户界面中最重要的东西是反馈。
计算的未来将由人类的聪明才智定义,而不仅仅是硅。