The only thing I know is that I paint because I need to, and I paint whatever passes through my head without any other consideration.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

Writing is a way of life, a way of being in the world.

成功不是终点，失败也并非致命，重要的是继续前进的勇气。

With great tools comes great responsibility—especially when those tools can alter life itself.

"Memory is a strange thing. It doesn't work like I thought it did. We are not meant to remember everything. We're meant to forget, to move on."