"The world breaks everyone, and afterward, many are strong at the broken places."
世界会打击每一个人，但经历过后，许多人会在受伤的地方变得更坚强。
AI will augment human capabilities, not replace them.
相信生活，它给人的教益比任何一本书籍都好。
写作不是为了交流，而是为了思考。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。