用 Rust 编写经过形式化验证的分布式共识协议：从 TLA+ Spec 到可编译代码
探索如何用 Rust 生态的形式化验证工具（Session Types、Prusti、Kani）弥合 TLA+ 规约与实际代码之间的鸿沟，实现编译期可证明正确的分布式共识协议。
分布式系统
深入理解 gRPC 与 Protocol Buffers：从 HTTP/2 多路复用到生产级 Go 服务端与客户端的完全工程实践
深入解析 gRPC 与 Protocol Buffers 的工程实践：HTTP/2 多路复用、.proto 定义、Go 语言完整实现、四种 RPC 模式、拦截器链、mTLS 安全、客户端负载均衡与生产环境最佳实践。
从零构建 Git 分布式版本控制系统：对象模型、Packfile 与网络协议的深度工程实践
从零构建 Git 内核引擎的完整工程实践：四种对象模型、Loose Object 与 Packfile 的存储演进、Delta 压缩与索引、引用系统与 Reflog、Want-Have 网络传输协议，以及用 Rust 实现 tiny-git 的完整代码。
分布式共识算法深度实战：从Paxos到Raft再到EPaxos
深入剖析分布式系统共识算法Paxos、Raft和EPaxos的设计原理、工程实现与调优策略
Apache Pulsar 深度工程实战：分层架构与 BookKeeper 分布式日志的硬核拆解
深入拆解 Apache Pulsar 的分层架构设计，重点分析 BookKeeper Quorum 写入协议、Managed Ledger 轮转机制、原生 Geo-Replication 跨地域多活方案，以及 Pulsar Functions 轻量级流处理框架，并通过代码示例展示生产级部署的工程实践。
多Agent协作系统的可靠性工程2026：通信协议设计、故障恢复与一致性保证
深入解析多Agent协作系统的可靠性工程体系，涵盖通信协议设计、Saga分布式事务、故障检测恢复与可观测性建设
RDMA 编程实战：从 Verbs API 到零拷贝分布式系统架构
RDMA编程深度实战：从Verbs API到零拷贝分布式系统架构。涵盖RDMA核心概念、QP状态机、批量提交与Doorbell优化、ODP内存管理、内存窗口与FMR策略，以及NCCL在AI训练集群中的RDMA传输层原理，配套完整C语言代码示例。
DeepSeek时代: MoE推理系统的工程实战
深入剖析DeepSeek-V3的MLA注意力机制与细粒度MoE专家并行架构，涵盖KV Cache压缩、AlltoAll通信优化、显存预算分配等工程实战细节
Raft 分布式共识算法深度实战：从 Leader 选举到日志复制的完整剖析
深入剖析 Raft 分布式共识算法的核心机制，涵盖 Leader 选举、日志复制、安全性约束、成员变更与快照机制，结合 etcd/Consul/TiKV 等工程实践进行全方位解读
LLM 推理 Disaggregated Architecture：Prefill-Decode 分离架构深度实战
随着大模型推理规模从单机走向多机，Prefill与Decode阶段的计算特征差异成为系统瓶颈的根本原因。本文深入剖解NVIDIA Dynamo、Mooncake等工业界Disaggregated Inference架构的设计哲学，涵盖KV Cache传输优化、分布式调度算法、负载均衡策略，并结合真实生产环境数据给出工程实践指南。
