CRDT与无冲突复制数据类型：实时协作系统的算法基础与工程实践深度对比
系统解析 CRDT（无冲突复制数据类型）的理论基础、两大学派（State-based vs Op-based）、经典实现（G-Counter、PN-Counter、OR-Set、RGA、YATA）、与 OT 的对比、Yjs/Automerge 实战、tombstone GC、tombstone 压缩算法、以及 Notion/Figma/Liveblocks 实际应用案例。
分布式系统
分布式系统一致性模型深度剖析：从线性一致到因果一致
系统分析分布式系统的一致性模型层次结构，对比Paxos/Raft/ZAB三大共识算法的设计哲学与工程取舍，并结合CAP/PACELC定理阐述如何在延迟、可用性和一致性之间做出工程决策。
Paxos共识算法形式化证明与拜占庭容错演化：从TLA+规约到HotStuff线性PBFT的工程实践
从形式化规约视角解析Paxos共识算法：Prepare/Accept两阶段流程、多数派交集保证安全性、TLA+验证、工程优化（Multi-Paxos Leader选举），以及拜占庭容错的PBFT与线性消息复杂度HotStuff的设计演化。
Kafka日志压缩协议与KRaft共识算法深度解析：从日志分段到元数据管理的分布式消息系统内核
深入剖析Kafka日志分段、消息压缩协议与KRaft元数据共识层的设计原理与故障恢复机制。
CRDT无冲突复制数据类型深度解析：从数据类型设计到分布式系统的工程实践
系统阐述CRDT的数学基础、分类体系与在生产级分布式系统中的应用，覆盖状态基与操作基两大方向
事件驱动架构与Event Sourcing模式实践：从CQRS到分布式系统的溯源设计
全面解析事件驱动架构、Event Sourcing与CQRS模式的核心原理、实现细节及分布式系统中的实践
分布式共识算法Raft深度解析：从Leader选举到日志复制的工程实践
分布式共识算法Raft深度解析：从Leader选举到日志复制的工程实践
分布式共识算法Raft的工程实现与etcd应用：从Leader选举到线性一致性的分布式系统实战
深入解析Raft共识算法的三大核心阶段：Leader选举、日志复制与安全性保障，结合etcd的工程实践，讲解预投票机制、快照压缩、ReadIndex等关键优化。
分布式系统基础：CAP定理与一致性模型深度解析
深入探讨分布式系统最核心的CAP定理，详细解析各种一致性模型，涵盖主流共识算法与分布式事务实践方案
大规模共识引擎深度优化：从 Multi-Raft 架构到 JRaft/PolarDB 工程演进的完全实践指南
大规模共识引擎深度优化：从Multi-Raft分片架构、JRaft生产级特性到PolarDB自适应共识的工程演进全面指南，涵盖Split/CRDT合并、Learner/Witness节点、PreVote+CheckQuorum、Parallel Raft乱序提交、Stale Read一致性级别、生产级磁盘IO隔离与跨机房部署策略。
