Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

An eye for an eye will only make the whole world blind.

可持续性不是一种选择，而是我们行业未来的必需品。

Never confuse a single defeat with a final defeat.

真正认真对待软件的人应该自己做硬件。