真正的领导力在于今天做出艰难的决定，这些决定将使后代受益。

我对制作美丽的东西不感兴趣。我对制作能让你思考的东西感兴趣。

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

科幻小说是变化的文学。

The elements of consciousness are to be determined by experimental analysis.

人类是一种糟糕的动物。

The artist's role is to disturb the peace.

最好的艺术会改变你看世界的方式。