形式化方法的美在于它们能够提供关于系统行为的绝对保证。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
Government, even in its best state, is but a necessary evil; in its worst state, an intolerable one.
政府，即使在其最佳状态下，也不过是一种必要的恶；在其最坏的状态下，则是一种无法忍受的恶。
The most important thing is to keep moving forward.
人的幼儿时期，足以决定一辈子的生活形态。
It is a curious subject of observation and inquiry, whether hatred and love be not the same thing at bottom.
The first step in liquidating a people is to erase its memory. Destroy its books, its culture, its history. Then have somebody write new books, manufacture a new culture, invent a new history. Before long the nation will begin to forget what it is and what it was. The world around it will forget even faster.
Fear is just excitement in need of an attitude adjustment.
艺术家必须是可见与不可见之间的桥梁。
The world changes by your example, not by your opinion.