普通人不知道如何度过自己的一生，却还想要另一个永恒的生命。
Do your thing and don't care if they like it.
工作让我们远离三种邪恶：无聊、恶习和贫困。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最好的领导者是那些多听少说的人，尤其是在农业这样充满活力的领域。
保持冷静，但要关心。
一个伟大的品牌是一个永远讲不完的故事。
The rules of survival never change, whether you’re in a desert or in an office.
The P versus NP problem is one of the most important problems in computer science.