Greatness is not this wonderful, esoteric, elusive, god-like feature that only the special among us will ever taste. It's something that truly exists in all of us.
那些‘基业长青’的公司也必须‘为变革而建’。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
我希望她是个傻瓜——这是女孩在这个世界上最好的事情，一个美丽的小傻瓜。
在当今世界，数字技能和读写能力一样重要。
The writer's duty is to tell the truth, even when it is uncomfortable.