The greatest art is always on the edge of failure.
最伟大的艺术总是处于失败的边缘。
数学的本质在于它的自由。
美是时间唯一无法伤害的东西。
2015年:贝索斯致股东信《全世界对失败最宽容的公司》
光是上帝的画笔,每时每刻都在描绘世界。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."