你的时间有限，所以不要浪费时间去过别人的生活。

Sustainability is not a constraint; it's an opportunity to reinvent our industry.

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

做你自己，因为别人已经有人做了。

"Theologians talk about a prevenient grace that precedes grace itself and allows us to accept it. I think there must also be a prevenient courage that allows us to be brave - that is, to acknowledge that there is more beauty than our eyes can bear, that precious things have been put into our hands and to do nothing to honor them is to do great harm."

It is always good to have a problem that you cannot solve. It means you have something to work on.