The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.

成功验证的关键是从系统应该做什么的清晰和精确的规范开始。

"The dawn right before the sun rises is the darkest."

If you are ever in trouble, don’t try to be brave, just run away.

吃得更好，生活更好