Love is the most powerful force in the world.

Efficiency in farming shouldn’t come at the cost of biodiversity.

The writer’s job is to tell the truth.

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

古时候的学者得到一句善言，就会放在自己身上去实践；而现在的学者得到一句善言就必定想取悦别人。