The future of computing lies in the development of systems that can verify their own correctness.
计算的未来在于开发能够自我验证正确性的系统。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
寇可为，我复亦为；寇可往，我复亦往。
刘彻名人名言哲理格言警句语录 刘彻
孤独的树如果成长，就会成长得非常茁壮。
丘吉尔名人名言哲理格言警句语录 丘吉尔
每一个结束都是新开始的种子。
佚名名人名言哲理格言警句语录 佚名
相信概率，不要相信运气。
查理·芒格名人名言哲理格言警句语录 查理·芒格
要理解未来，首先必须理解过去。
"To understand the future, one must first understand the past."
亚历山大·克鲁格名人名言哲理格言警句语录 亚历山大·克鲁格
凡所谓能大而不能小，其语出于性有宽急；性有宽急，故宜有大小。
刘邵名人名言哲理格言警句语录 刘邵
沉着、勇猛，有辨别，不自私。
鲁迅名人名言哲理格言警句语录 鲁迅
当大浪退去时，我们才知道谁在裸泳。
巴菲特名人名言哲理格言警句语录 巴菲特
我们不能期待别人随时体察我们的情绪，沉默换不来别人的帮助，如果我们需要帮助，就要用语言表达出来。
阿德勒名人名言哲理格言警句语录 阿德勒
互联网思维造产品
用互联网的方式做手机。
雷军名人名言哲理格言警句语录 雷军
当你快乐时，你要想，这快乐不是永恒的。当你痛苦时你要想这痛苦也不是永恒的。
村上春树名人名言哲理格言警句语录 村上春树
主一就是专注一个天理。
王阳明名人名言哲理格言警句语录 王阳明
理想的人物不仅要在物质需要的满足上，还要在精神旨趣的满足上得到表现。
黑格尔名人名言哲理格言警句语录 黑格尔
我现在觉得我能接受的限度非常之低。我不能接受这种差距，对我来说是一个打击。以后我一定会非常看重导演的功力，会非常谨慎地挑选剧本。如果不能够发掘我，那你就不要利用我。宁可不拍戏也要等好戏。这可以说是一种执着，我对一个新的课题的态度，是一个我以前从来没有预料到的态度——还挺坚定的，不容动摇，一定要做到我的理想的要求。
赵薇名人名言哲理格言警句语录 赵薇
做伟大工作的唯一方法就是热爱你所做的事情。如果你还没有找到它，继续寻找。不要满足。
The only way to do great work is to love what you do. If you haven't found it yet, keep looking. Don't settle.
马克·维克多·汉森名人名言哲理格言警句语录 马克·维克多·汉森
I don't believe in eternity, but I believe in the trace.
我不相信永恒，但我相信痕迹。
克里斯蒂安·波尔坦斯基名人名言哲理格言警句语录 克里斯蒂安·波尔坦斯基
我们既要有信心，也不要盲目相信未来，历史的灾难，都是我们的前车之鉴。
任正非名人名言哲理格言警句语录 任正非
香港电影对我来说没得拍了，我只能往外国跑，我用不同的外景和布景来配合动作打斗，给人以新鲜感。
成龙名人名言哲理格言警句语录 成龙
如果你想得到他人支持，请先体谅他人的想法和愿望。
卡耐基名人名言哲理格言警句语录 卡耐基