一个人必须经过一番刻苦奋斗，才会有所成就。

The only way to discover the limits of the possible is to go beyond them into the impossible.

农业的未来在于平衡传统与创新——尊重过去，同时拥抱未来。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

成为作家就是成为他人生活的窃贼。

能够显示的，就不能说。

What I think I've been talking about really is success and failure. And one of the interesting things about success is that we think we know what it means. If I said that there's somebody behind the screen who's very successful, certain ideas would immediately come to mind. You'd think that person might have made a lot of money, achieved renown in some field. My own theory of success -- I'm somebody who's very interested in success, I really want to be successful, always thinking, how can I be more successful? But as I get older, I'm also very nuanced about what that word "success" might mean.