在桂林学界迎会的演说,1922年1月22日
模型检查是验证硬件和软件系统正确性的强大工具。
作家的职责是质疑、挑战并阐明生活的复杂性。
That is what learning is. You suddenly understand something you've understood all your life, but in a new way.
2017年:贝索斯致股东信《让高标准渗透公司文化》
我们都只是在互相陪伴回家。
领导力就像修剪果树,有时必须剪去一些才能让其他部分更茁壮成长。