风险不在于我们目标太高而失败，而在于我们目标太低而成功。
The risk is not that we aim too high and miss, but that we aim too low and hit.
We're not interested in taking a substantial chance of taking a lot of very decent people back to 'Go' so we can have one more zero on our net worth.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
可持续性不是一种选择，而是我们行业生存的必要条件。
爱是世界上最强大的力量。