形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
“有些时候，”维尼说，“最小小的东西却在你的心里占据着最大的空间。”
The biggest risk is not taking any risk.
我一直相信，你永远不应该放弃，即使只有最微小的机会，你也应该继续奋斗。
The man who is fit to work at any particular trade is unable to understand the science of that trade without the help and guidance of those who are working with him or over him.
Music has the power to heal and bring people together.
幸福是微小瞬间的积累。
创新不仅仅是技术，更是改变思维方式。
我们做过价格弹性研究，答案总是我们应该提高价格。我们不这样做，因为我们相信--我们必须把这当作信仰的一篇文章--通过长期保持我们的价格非常非常低，我们会随着时间的推移赢得客户的信任，实际上这会在长期内最大化自由现金流。
我不想被拿来和任何人比较。我只想做莱奥·梅西。