唯一使生活成为可能的是永久、无法忍受的不确定性；不知道接下来会发生什么。
The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.
领导力就像修剪果树，有时必须剪去一些才能让其他部分更茁壮成长。
In business, integrity is non-negotiable. It’s the foundation of lasting success.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
人生起落无常，低谷时别放弃。
是亲人不当亲人待，不是亲人却当亲人看。
译文：有志向的人处理事情，只会注重事情的对与错，不会考虑事情会给自己带来祸患还是福分。品行高洁的人著书立说，以公平客观为准绳，尤其看重精准周祥。赏析：我们待人接物，立身处世只要公平公正公开，实事求是，不以个人的好恶行事，别人就不会有怨言，自己就不会有祸患。
沉默不是声音的缺失，而是未说出口的真相的存在。
技术是手段，体验才是目的。