成为一个作家就是对一切都感兴趣。

The writer's secret is not inspiration—for it is never clear where it comes from—but stubbornness, endurance.

语言既是武器也是创伤，取决于谁握着笔。

量子傅里叶变换是许多量子算法的关键组成部分。

Don't worry about what anybody else is going to do. The best way to predict the future is to invent it.

Justice means minding your own business and not meddling with other men's concerns.

词的体制，幽微美好，能够表达诗所不能表达的内容，但不能完全表达诗所能表达的内容。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

伟大的事情永远不会来自舒适区。