写作是一种勇气的行为，一种面对世界和我们在其中位置的方式。

量子计算机可以高效地分解大数，这意味着当前大多数公钥加密在量子计算机的对手面前是不安全的。

投资清洁能源技术不仅对环境有益；对企业也有利。

I don’t do things for the reaction or the criticism. I live for what makes me happy.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

伟大的领导者倾听多于发言，行动多于计划。