船在港口是安全的,但那不是船被建造的目的。
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.