I prefer women with a past. They are always so damned amusing to talk to.
最好带着信心行动,无论你有多少的权利。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
Life in the state of nature is solitary, poor, nasty, brutish, and short.
如果你做了一次,人们会称之为意外。如果你做了两次,他们会称之为巧合。但如果你做了三次,你就证明了一个自然法则。
唯一注定要失败的策略就是不冒风险。
Innovation happens when diverse minds come together.