The one thing that you have that nobody else has is you. Your voice, your mind, your story, your vision. So write and draw and build and play and dance and live as only you can.

Tragedy is when I cut my finger. Comedy is when you walk into an open sewer and die.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

I don't care about money. I just want to create.