Don't let anyone tell you that you can't do something.
J'ai créé toutes les fêtes, tous les triomphes, tous les drames. J'ai essayé d'inventer de nouvelles fleurs, de nouveaux astres, de nouvelles chairs, de nouvelles langues.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
一个灰色的回忆,怎能抗衡现在的生动与自由。
遵循道就是像水一样流动,滋养万物而不争。
The best leaders are those who listen more than they speak.《Leadership in the Modern Age》
成功不在于成为最好的,而在于成为最能适应的。
I don't believe in harmony in the traditional sense. I believe in intensity.