培养区分善恶的能力是获取智慧的第一步。
乔丹·彼得森名人名言哲理格言警句语录 乔丹·彼得森
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
模型检查是验证硬件和软件系统正确性的强大工具。
埃德蒙·克拉克
历史用鲜血书写，用泪水阅读。
伊沃·安德里奇
人们，不要对他人施暴，对牛也不要；不要强迫别人干他不愿意干的事情，对牛也不要。
莫言
时间像一把刀，雕刻着我们的脸，直到我们认不出自己。
杨炼
人迹罕至的路往往是带你回家的路。
The road less traveled is often the one that leads you home.
凯文·巴里
我们永远不要在自己所看重的事情上，投入不切实际的期待，附加不着边际的价值。因为人生唯一确定的，就是不确定的人生。很多东西不是你能决定的。你很难去创造一个属于你自己的剧本，但是当剧本来临的时候，你要把它演好。对于可控的事情要保持谨慎，对于不可控的事情要保持乐观，人只能做自己能力范围内的事情，你要接受这个事实，并且以乐观的心去应对这一切。做你该做的事情，并且接受它的事与愿违。在追求梦想的路上，我们常常会陷入对未来的无限憧憬。但是，我们也必须接受，有些事情超出了我们的掌控。我们要学会在自己的能力范围内做最好的自己，而不是去追求那些遥不可及的幻想。
罗翔
在理性的一切运作中，记忆都是必要的。
布莱士·帕斯卡
我希望每一个人都尽自己的力，不管他的才分如何，上天并没有划定一批人，准许他们可以单凭才气而成功。
张晓风
阿太一开始还避讳在我面前说”死“这个字，开心的时候，阿太会说：是个喜欢捉迷藏的小朋友。生气的时候，阿太会说：一个没有信誉的坏蛋。
蔡崇达
Success is not the key to happiness. Happiness is the key to success. If you love what you are doing, you will be successful.
成功不是幸福的关键。幸福是成功的关键。如果你热爱你所做的事情，你就会成功。
戴蒙·德约翰
When faced with challenges, focus on solutions rather than problems.
当面临挑战时，专注于解决方案而不是问题。
马克·萨顿
人只有在处于依赖状态的时候才是柔弱的，如果他无拘无束，不依赖他人的话，他早就是很强壮的了。
卢梭
在颠覆性的技术面前，闭源形成的护城河是短暂的。即使OpenAI闭源，也无法阻止被别人赶超。我们把价值沉淀在团队上，我们的同事在这个过程中得到成长，积累很多know-how，形成可以创新的组织和文化，就是我们的护城河。
梁文锋
新兴的群众运动把血缘和朋友关系视为一种会减损群体向心力的东西……相互猜疑可以带来相互恐惧，而这种相互恐惧会像一个铁环套那样把大家紧紧套在一起。
埃里克·霍弗
心态决定一切。你想什么，就会成为什么。
The mind is everything. What you think, you become.
诺瓦克·德约科维奇
人应该像树一样，扎根于泥土，却向往着天空。
张洁
You can't look back, you just have to put the past behind you and find something better in your future.
你不能回头看，你只能把过去抛在脑后，在未来找到更好的东西。
瑞奇·马丁
软件硬件深度融合，是我们为用户提供独特体验的根本保证。AI是未来的生产力，必须、也必然要全面赋能，也是小米长期持续投入的底层赛道。我们把它写成一个公式：（软件×硬件）ᴬᴵ ，这样更好记。
雷军
矛盾存在于一切事物发展的过程中。
毛泽东