在科学中，失败不是成功的对立面，而是通向成功的垫脚石。

可持续发展应该成为每家科技公司战略的核心。

"To travel is to discover that everyone is wrong about other countries."

韩寒说他不喜欢巴金等名家,被人指责时韩寒这样说道.

I don’t want to be remembered just as a footballer, but as a person who inspired others.

True innovation comes from understanding tradition deeply enough to break it properly.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。