唯一真正属于你的是你的故事。

唯一能让你成功的是你的热情。

错误可以被关注事实者纠正，但教条将不会被那些囿于某种信念的人纠正。

A good programmer is someone who always looks both ways before crossing a one-way street.

生如夏花之绚烂，死如秋叶之静美。

开始是工作最重要的一部分(赢在起跑点/好的开始就成功了一半)。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

The key function of banks is transforming illiquid assets into liquid liabilities.

知识在心灵中以符号结构的形式表征。