Faith is the substance of things hoped for, the evidence of things not seen.
信仰是所望之事的实底，是未见之事的确据。
我们都被自己制造的幽灵所困扰。
粮食安全的未来就在波涛之下，我们必须负责任地利用它。
反对民煮最好的论据就是与一个普通选民五分钟的谈话.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
The writer must be a witness to history, even if history ignores him.
没有力量的正义是徒劳的，没有正义的力量是暴政。
勇敢追求让你灵魂燃烧的事物。
The most valuable asset any company has is its people.