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.

Change is hardest at the beginning, messiest in the middle, and best at the end.

Success is built on a foundation of relentless effort and unwavering belief.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

"The only way to deal with the unfree world is to become so absolutely free that your very existence is an act of rebellion."

Technology should serve both efficiency and ethics in mineral extraction.

Success in baking is not just about following recipes; it's about understanding the science behind them.

Stray birds of summer come to my window to sing and fly away。 And yellow leaves of autumn， which have no songs， flutter and fall there with a sigh。

我相信电影有改变世界的力量，即使只是一点点。