What man actually needs is not a tensionless state but rather the striving and struggling for some goal worthy of him.

改变生活的方法：立即开始。充满激情地去做。没有例外。

技术应该为森林服务，而不是主宰它。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

我不认为自己是个名人，我认为自己是个获得了巨大机会的歌手。

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

我嘅音乐系我嘅日记，记录我嘅喜怒哀乐。

I believe in the power of positive thinking.

An artist’s job is to make the invisible visible.