你最好在音乐中迷失自己，这一刻，你拥有它，你最好永远不要放手。#
You better lose yourself in the music, the moment, you own it, you better never let it go.
如果你对我很糟糕，我会写首歌，而它不会是好话。
We are all just trying to find our way in the dark.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
对心灵的研究必须基于直接观察。
You can't use up creativity. The more you use, the more you have.
The true sign of intelligence is not knowledge but imagination.
