I'm happy to be alive, I'm happy to be who I am.
不要追问这世界需要什么样的人,扪心自问是什么支持着你活到现在,然后奔赴你的信仰、因为这世界需要的就是人们充满活力地活在世上。
Life is too short to drink bad wine or read bad books.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."