I'm not a saint, I'm just a sinner who tries.

"In computer science, we are always trying to find the balance between expressiveness and tractability."

如果我们想保护海洋生物多样性，可持续的捕捞方式不是一种选择，而是一种必要。

道是神奇非凡的存在，灵妙而有本性，虚无而没有形象，无法预测其来去，也无法追寻其踪迹，不知其所以然而自然如此。

The best thing a human being can do is to help another human being know more.

In mathematics, the journey is as important as the destination.