应对不自由世界的唯一方法是变得如此绝对自由，以至于你的存在本身就是一种反抗。

To turn caring into action, we need to see a problem, see a solution, and see the impact. But complexity blocks all three steps.

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

我不是为了钱说唱，我是因为热爱。

I believe in second chances.

在旧的管理制度下，努力工作并不一定会产生大量的产出。