I'm drawn to a lovely quote by St. Augustine in "The City of God," where he says, "It's a sin to judge any man by his post." In modern English that would mean it's a sinto come to any view of who you should talk to, dependent on their business card. It's not the post that should count. According to St. Augustine, only God can really put everybody in their place; he's going to do that on the Day of Judgment, with angels and trumpets, and the skies will open. Insane idea, if you're a secularist person, like me. But something very valuable in that idea, nevertheless.

别让你的梦想只是梦想。

世界是由转瞬即逝的时刻组成的马赛克，每一个时刻本身都是珍贵的。

Sustainability isn't a choice—it's our responsibility to the next generation.

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