形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
金融创新可以成为一股强大的积极力量,但如果管理不当,也可能成为不稳定的根源。
小行动,当乘以数百万用户时,可以改变世界。
A story is not just what is told, but what is left untold.
Dream big, work hard, and never give up on what you believe in.
我不在乎钱,我在乎的是音乐。
A story is a way to say something that can't be said any other way.
作家必须是一个永远的外来者,一个所有权力的批评者。
真正的发现之旅不在于寻找新的风景,而在于拥有新的眼光。