We need to design policies that work with human psychology, not against it.
我们需要设计符合人类心理的政策,而不是与之相悖。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The family is the nucleus of civilization.
房间不是一个地点,而是一个事件。
If you can't explain it simply, you don't understand it well enough.