世界上不存在大智慧，就像世界上不存在才华这个词，存在的是琐碎。重复的事情不停地做，你就是专家；做重复的事特别专注，你就是大家。
【译文】 孔子说：“明智的人喜欢水，仁慈的人喜欢山；明智的人好动，仁慈的人好静；明智的人快乐，仁慈的人长寿。”
模型检查是验证硬件和软件系统正确性的强大工具。
AI is the most transformative technology of our time.
Trust is the expectation that arises within a community of regular, honest, and cooperative behavior, based on commonly shared norms, on the part of other members of that community.
The old dreams were very good dreams; they didn't work out, but I'm glad I had them.