数学的力量在于它的普遍性和抽象性。

"The world is a mirror, and the mirror is a shadow."

"Sometimes, the most ordinary things could be made extraordinary, simply by doing them with the right people."

One strategy: "We've had three big ideas at Amazon that we've stuck with for 18 years， and they're the reason we're successful: Put the customer first. Invent. And be patient."

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

安全的关键是不信任任何人，包括你自己。