生活是一系列的选择,而你没有做出的选择和你做出的选择一样重要。
"Life is a series of choices, and the ones you don't make are just as important as the ones you do."
最好的艺术是关于变化的——关于思想的运动和感知的转变。
自由民主的未来取决于其应对不平等和政治极化挑战的能力。
最好的数学是简单的,但又不至于过于简单。
每一座建筑都是一个原型。
The challenge in model checking is not just to find errors, but to understand why they occur.