A man provided with paper, pencil, and rubber, and subject to strict discipline, is in effect a universal Turing Machine。
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人,实质上就是一台通用图灵机。
Precision measurements in astronomy open new windows to understanding the universe.
In the realm of algorithms, efficiency and elegance are not mutually exclusive but are often two sides of the same coin.
我认为对自己有幽默感,不要把自己看得太重要是很重要的。
抽象的目的不是模糊,而是创建一个新的语义层次,在这个层次上可以绝对精确。