自动机和形式语言的研究对于理解计算的极限是基础性的。

首先他们无视于你，而后是嘲笑你，接着是批斗你，再来就是你的胜利之日。

Freedom can only be given to those who desire it.

Every exit is an entry somewhere else.

程序员不应以其才智和逻辑来衡量，而应以案例分析的完整性来衡量。

我坚信倡导者能够创造更好的产品，因为他们关心的东西更多。对于一个倡导者来说，一个项目并不仅仅只是一个生意。他的事业与生意有关，而且必须把生意做好，但生意并非他做这件事情的原因。你做某一件事情，是因为它对你来说是有意义的，那才是你的动力。