"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
The darkest nights produce the brightest stars.
合作是关键,伟大的科学从来不是孤立完成的。
Rationality is not about being right, but about being consistent in your beliefs and actions.
The cost of inequality is borne not just by those who are disadvantaged but by society as a whole.
量子计算的力量来自于能够以经典计算机无法做到的方式操纵量子态。
一个奇怪的悖论是,当我接受自己本来的样子时,我就能改变。
我不想出名,我只想自由。