自由不是没有主人,而是选择自己的主人。
一个故事可以改变一生——甚至可能改变世界。
要理解行为,就要寻找其中的效用。
In times of crisis, the best leaders are those who remain calm and focus on solutions rather than problems.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
"Silence is the language of those who have seen too much."