本文从数学基础出发，系统阐述CRDT（无冲突复制数据类型）的理论框架。文章首先介绍半格代数结构，严格推导State-based（CvRDT）与Operation-based（CmRDT）两种形式化定义及其等价性，并讨论强最终一致性的精确含义、元数据开销的理论下界，以及CRDT与共识协议的本质区别。

Instagram推出视频编辑应用《Edits》，支持多平台，具备丰富的编辑工具和灵感推送功能。富士发布半格相机预告，群晖推出DS925+网络存储设备，JetBrains停用《Aqua》，超高清微型机顶盒部署启动，PS5新增声音聚焦功能。

作者回顾了十年的胶片摄影经历，分享了对胶片的热爱和对半格相机的探索。通过使用柯达 H35 和奥林巴斯 Pen EED 等半格相机，作者发现其便携性和拍摄更多照片的优势，带来了轻松的拍摄体验。尽管胶卷价格上涨，半格相机让他重新找回了摄影的乐趣和惊喜。