"Books are the way that we communicate with the dead. The way that we learn lessons from those who are no longer with us, that humanity has built on itself, progressed, made knowledge incremental rather than something that has to be relearned, over and over."

模型检查是验证有限状态并发系统正确性的强大技术。

I’m not gonna dim my light for anybody.

Leadership is not about being in charge; it’s about taking care of those in your charge.

Dreams come true if you don't give up.

If we don’t take responsibility for our plastic waste today, we’ll leave a burden too heavy for future generations to bear.

规模养殖的核心是标准化，标准化的前提是科学化。

There's a tendency to think that our present politicians are much worse than we had in the past.But we tend to forget how awful our politicians were in the past.

I try to choose roles that challenge me and that I can learn from.