"We are all just walking each other home."

我不是那种会让对我名字的爱减少的人。

The ocean’s resilience is finite—we must act before it’s too late.

你只要努力做义事，我还要把天下送给你。 

衡量一个人的真正标准是他如何对待那些对他毫无益处的人。

The only constant in business is change.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

没有小故事，只有讲得不好的故事。