领导力的真正衡量标准在于你如何赋能他人实现他们认为不可能的事。

尊敬自己的长辈，从而推广到尊敬别人的长辈；爱护自己的儿女，从而推广到爱护别人的儿女。

Algorithms are the poetry of computer science, where logic meets creativity.

形式系统的发展彻底改变了我们对数学的理解。