Mindfulness meditation can strengthen attentional control by training the brain to focus and resist distraction.

We must always be learning, because the field of computing is always evolving.

生物学中的主要问题不是通过新技术解决的，而是通过新思想解决的。

模型检查是验证有限状态并发系统正确性的强大技术。

The roots of education are bitter, but the fruit is sweet.

在我们的伊甸园中，苹果放弃了汇编语言：使用语言浪费机器周期是有罪的。现在，LISP机器允许LISP程序员放弃胸罩和无花果叶。