船在港口是安全的,但那不是船被建造的目的。
I always prefer to believe the best of everybody; it saves so much trouble.
The future of computing lies in the development of systems that can verify their own correctness.
有记者问:“您的最终理想目标是什么?”张瑞敏回答说。
The most dangerous thing is to be alive. But it is also the most beautiful.
"A good story is a good story, no matter how it's told."