信仰是伟大的逃避，是逃避思考和评估证据需要的伟大借口。信仰是在缺乏证据的情况下，甚至可能是因为缺乏证据而相信。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
一家公司真正的价值在于它的员工，而不仅仅是资产负债表。
The sea remembers what the land forgets.
Quality is free. It's not a gift, but it's free. What costs money are the unquality things -- all the actions that involve not doing jobs right the first time.
计算机体系结构的目标是使常见情况快速，罕见情况正确。
