I’m not afraid to start over.
我不害怕重新开始。
没有人值得你流泪,值得让你这么做的人不会让你哭泣。
通往地狱的路是由未完成的作品铺成的。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
This part of my life,this little part is called "happiness".
You must be the best judge of your own happiness.
The most important thing in the programming language is the name. A language will not succeed without a good name.