伟大的领导者倾听多于发言。
谈判时,勿以抢更多的蛋糕为目标;以做一个更大的蛋糕为目标。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
The challenge is to design spaces that serve people without dominating them.
I believe in the discipline of mastering the best that other people have ever figured out.