"我不是一个女人，我是一个词。"
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
煤炭的未来在于更清洁的技术和更智能的资源管理。
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.
真正的创新需要冒险。
We live in a world where people are judged by their worst actions, not their best.
Follow your passion, it will lead you to your purpose.