The most dangerous phrase in business is 'We've always done it this way.'

过去是一个异国他乡；他们做事的方式不同。

时间是决定市场走势的最重要因素。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

作为人类就是有缺陷的，但也意味着有能力进行巨大的改变。