从零构建 Git 分布式版本控制系统：对象模型、Packfile 与网络协议的深度工程实践
从零构建 Git 内核引擎的完整工程实践：四种对象模型、Loose Object 与 Packfile 的存储演进、Delta 压缩与索引、引用系统与 Reflog、Want-Have 网络传输协议，以及用 Rust 实现 tiny-git 的完整代码。
分布式系统
深入理解 gRPC 与 Protocol Buffers：从 HTTP/2 多路复用到生产级 Go 服务端与客户端的完全工程实践
深入解析 gRPC 与 Protocol Buffers 的工程实践：HTTP/2 多路复用、.proto 定义、Go 语言完整实现、四种 RPC 模式、拦截器链、mTLS 安全、客户端负载均衡与生产环境最佳实践。
Raft 共识算法深度实战：从 Leader 选举到分布式状态机复制的完全工程指南
Raft 共识算法完全实战指南：从复制状态机原理、Leader 选举超时随机化、日志复制流水线、选举限制与安全性证明、Joint Consensus 成员变更、快照压缩与日志截断，到线性一致性读（ReadIndex/LeaseRead）、etcd 工业级优化（Pre-Vote/CheckQuorum/Pipeline/Snapshot）、生产级故障诊断、性能基准测试与扩展方向（Multi-Raft/Parallel Commit/Flexible Quorum）。附 Go 语言核心源码实现。
用 Rust 编写经过形式化验证的分布式共识协议：从 TLA+ Spec 到可编译代码
探索如何用 Rust 生态的形式化验证工具（Session Types、Prusti、Kani）弥合 TLA+ 规约与实际代码之间的鸿沟，实现编译期可证明正确的分布式共识协议。
Apache Kafka 深度实战：从 Producer/Consumer 到 KRaft、流处理与生产级调优的完全工程指南
深入解析 Apache Kafka 架构设计：从 Partition 复制机制、Producer 幂等性与事务语义、Consumer Group Rebalance 协议，到日志分段存储、零拷贝优化、KRaft 元数据管理、Kafka Streams 流处理，以及生产级容量规划与内核调优参数。对比 Pulsar 与 RocketMQ 选型策略。
深入理解 Apache Kafka：从零拷贝到 ISR 机制、KRaft 共识与生产级调优的完全工程指南
从 Kafka 架构设计到生产级调优的完全工程指南：分布式提交日志原理、Page Cache 与零拷贝、分区策略与批处理、幂等 Producer 与 EOS 事务、Consumer 组再均衡机制、ISR/HW/Leader Epoch 一致性保障、KRaft 替代 ZooKeeper、生产环境六大避坑指南、性能调优实战参数，Kafka vs Pulsar vs RocketMQ 选型对比。
gRPC 深度实战：Protobuf 序列化与高并发微服务通信架构
深入剖析 gRPC 核心原理、Protobuf 编码机制、HTTP/2 帧交互模式、拦截器链路、负载均衡策略和生产级最佳实战
分布式系统时钟同步与一致性深度实战：从Logical Clock到TrueTime的工程哲学
本文深入剖析分布式系统时钟同步的核心难题与解决方案演进，从经典的Lamport逻辑时钟、向量时钟，到Google Spanner的TrueTime、混合逻辑时钟(HLC)，全方位解析物理时钟与逻辑时钟的协同机制及其在分布式工程中的实战应用。
分布式系统容错设计深度实战：从理论模型到生产级弹性架构落地的完整指南
深入解析分布式系统中的核心容错模式与弹性工程实践，涵盖故障传播分析、断路器模式、重试风暴防护、舱壁隔离、优雅降级、分布式一致性权衡、混沌工程及生产级弹性架构完整实现。
Raft 共识算法深度实战：从理论到分布式存储引擎工程落地
深度解析 Raft 共识算法核心原理：领导选举与 Term 机制、日志复制与提交规则、联合共识成员变更、快照与日志压缩、PreVote 优化、Multi-Raft 架构、工业级性能优化策略（etcd/TiKV 实战）。
