"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
"The world is full of stories, but the best ones are the ones we live."
创新需要包容失败的文化,只有敢于试错才能进步。
过去半个世纪最重要的政治发展是自由民主在世界范围内的传播。
实现长期成功的唯一方法是为客户、员工和社会创造真正的价值。
To read is to travel without moving.
I don’t think you can compare eras in tennis. Every era has its great players.