创新不是对每件事都说“是”,而是对除最关键功能外的一切说“不”。
伟大的领导者不仅仅是管理;他们激励、鼓舞并提升周围的人。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
预言是人类唯一一项无法由重复练习而进步的技术。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.