数学是宇宙书写其最深奥秘密的语言。

The rule of law is a political ideal, not a legal concept.

认证标准是负责任林业的指南针。

I believe in the power of storytelling. I think stories can change the world.

I'm a failed poet. Maybe every novelist wants to write poetry first, finds he can't, and then tries the short story, which is the most demanding form after poetry. And, failing at that, only then does he take up novel writing.

Those who do not remember the past are condemned to repeat it.

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。