信仰是伟大的逃避,是逃避思考和评估证据需要的伟大借口。信仰是在缺乏证据的情况下,甚至可能是因为缺乏证据而相信。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
一家公司真正的价值在于它的员工,而不仅仅是资产负债表。
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.
计算机体系结构的目标是使常见情况快速,罕见情况正确。