统计学家不能逃避理清科学推断原理的责任，同样地，任何其他思考者也必须承担类似义务。

模型检查是验证硬件和软件系统正确性的强大工具。

勇气不是没有恐惧，而是战胜恐惧。

你不尝试就100%会错过机会。

"We are lonesome animals. We spend all our life trying to be less lonesome."

未来属于那些能够平衡利润与目标的人。