光是理解世界的关键。

Don't let anyone tell you that you can't do something.

The most dangerous mindset in business is believing you’ve already succeeded.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Love is life. All, everything that I understand, I understand only because I love.

我相信每个人类都有有限的心跳。我不打算浪费我的心跳跑来跑去做运动。