我不是榜样,我是榜样的榜样。
I don’t complain. I keep working hard and try my best in every moment.
创新不是口号,而是每天都要做的事情。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
下一场农业革命将是隐形的——它发生在实验室里、数据云端,最重要的是发生在我们思维方式中。
The key to performance is elegance, not battalions of special cases.
公司的文化是由领导者的行动定义的。