Productivity metrics that ignore environmental impact are accounting tricks, not real progress.
我相信,一个真正有才华的人,是不会被埋没的。
Success is not the key to happiness. Happiness is the key to success. If you love what you are doing, you will be successful.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.