我们正在用信息淹没人们。我们需要通过处理器来筛选它。人类必须将信息转化为智慧或知识。我们往往忘记了，没有计算机会提出一个新问题。

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

当你敢于打破规则时，最好的发现才会到来。

"Adventure is worthwhile in itself."

【释义】多做好人多做善事使人快乐，做坏事有恶行罪责难逃。

Short-term gains in forestry often lead to long-term losses for the planet.

我不让恐惧控制我，我控制恐惧。