I think music is a language that everybody understands.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
El tiempo no cura las heridas, solo las entierra bajo capas de olvido.
好的产品经理应该像用户一样思考,像CEO一样行动。
最重要的是通过给予人们超出他们当前能力的任务来培养他们的能力。
Your art is your legacy.
A good novel tells us the truth about its hero; but a bad novel tells us the truth about its author.
好的小说告诉我们关于其主角的真相;而坏的小说告诉我们关于其作者的真相。