I don’t let the future limit me, I let it inspire me.

决策是一个解释的过程，就像它是一个计算的过程一样。

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

"In the end, we only regret the chances we didn't take."

我从十五岁开始致力于学习，三十岁便能自立于社会了，四十岁对各种事理不再迷惑不解，五十岁懂得了自然界的规律，六十岁对听到的事情能领会贯通，并能辨别是非真伪，七十岁时做事能随心所欲，但又不会超出礼法的规范。

Innovation is not the goal, solving real user needs is fundamental.