我想让人们感觉良好。这就是我想做的一切。
I want to make people feel good. That's all I wanna do.
"The true measure of progress is not in the accumulation of knowledge, but in its application for the betterment of humanity."
撰写一生就是在事实与解读之间走钢丝。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The future of the internet is artificial intelligence.
"The more you try to find the truth, the more you lose it."