分布式系统10 篇
- Raft 共识算法深度剖析2026-10-22
- Paxos 协议族:从 Basic 到 Multi-Paxos2026-10-12
- 分布式事务:2PC、3PC 与 TCC 模式对比2026-10-02
- CRDT 无冲突复制数据类型实战2026-09-22
- 分布式锁:Redlock 算法安全性分析2026-09-12
- Gossip 协议与最终一致性实践2026-09-02
- 分布式共识的边界:FLP 不可能性定理2026-08-22
- CAP 定理的工程实践与取舍2026-08-12
- 分布式快照:Chandy-Lamport 算法2026-08-02
- 一致性哈希与虚拟节点优化2026-07-22
编译原理10 篇
- 手写 JIT 编译器:从字节码到机器码2026-10-18
- LLVM IR 中间表示深入解析2026-10-08
- 寄存器分配算法:图着色 vs 线性扫描2026-09-28
- SSA 形式构造与优化 Pass 设计2026-09-18
- 类型推导:Hindley-Milner 算法实现2026-09-08
- 垃圾回收算法:标记-清除、复制与分代2026-08-28
- 递归下降解析器与 Pratt Parser 对比2026-08-18
- 闭包转换与 Lambda Lifting 技术2026-08-08
- 内联优化:启发式策略与性能收益2026-07-28
- 编译器后端:指令选择与指令调度2026-07-18
Linux 内核10 篇
- eBPF 可观测性实战:零侵入内核追踪2026-10-14
- Linux 进程调度器:CFS 与 EEVDF 对比2026-10-04
- 内核内存管理:伙伴系统与 Slab 分配器2026-09-24
- VFS 虚拟文件系统架构剖析2026-09-14
- 内核模块开发:字符设备驱动实战2026-09-04
- 中断处理:上半部与下半部机制2026-08-24
- RCU 同步机制原理与使用场景2026-08-14
- cgroup v2 资源隔离与限制详解2026-08-04
- 内核调试:ftrace、perf 与 kprobe2026-07-24
- NUMA 架构与内核内存策略2026-07-14
数据库内核10 篇
- LSM-Tree 存储引擎从零实现2026-10-08
- B+Tree 索引结构与并发控制2026-09-28
- 查询优化器:基于代价的优化原理2026-09-18
- MVCC 多版本并发控制深度解析2026-09-08
- WAL 预写日志与 ARIES 恢复算法2026-08-28
- 连接算法:Hash Join 与 Merge Join2026-08-18
- 数据库锁机制:意向锁与间隙锁2026-08-08
- 列式存储与向量化执行引擎2026-07-28
- 分布式 SQL 引擎:CockroachDB 架构2026-07-18
- 时序数据库:InfluxDB 存储引擎设计2026-07-08
高性能网络10 篇
- io_uring 异步 I/O 深度解析2026-10-02
- DPDK 数据平面开发套件入门2026-09-22
- TCP 拥塞控制:从 Reno 到 BBRv32026-09-12
- TLS 1.3 握手协议深度剖析2026-09-02
- HTTP/2 多路复用与流优先级2026-08-22
- QUIC 协议:0-RTT 与连接迁移2026-08-12
- DNS 协议与 DNSSEC 安全扩展2026-08-02
- 负载均衡算法:从轮询到一致性哈希2026-07-22
- RDMA 远程直接内存访问技术2026-07-12
- Nginx 高性能架构与模块开发2026-07-02
密码学10 篇
- 零知识证明入门:Groth16 协议实现2026-09-25
- 椭圆曲线密码学:从 ECDSA 到 BLS2026-09-15
- 同态加密:BFV 与 CKKS 方案对比2026-09-05
- 安全多方计算:混淆电路与秘密共享2026-08-25
- 哈希函数:SHA-3 与 BLAKE3 设计原理2026-08-15
- 后量子密码学:格密码与 NIST 标准化2026-08-05
- Merkle Tree 与区块链状态证明2026-07-25
- 环签名与门罗币隐私保护机制2026-07-15
- 差分隐私:理论、实现与应用2026-07-05
- AES 加密算法:从 S-Box 到硬件加速2026-06-25
并发编程10 篇
- Lock-Free 数据结构设计艺术2026-09-18
- C++ 内存序模型:从 Relaxed 到 SeqCst2026-09-08
- Hazard Pointer 与 RCU 对比分析2026-08-28
- 协程调度器:有栈与无栈协程实现2026-08-18
- Actor 模型:从 Erlang 到 Akka2026-08-08
- CSP 并发模型与 Go Channel 实现2026-07-28
- 读写锁优化:从 RWLock 到 RCU2026-07-18
- 线程池设计:工作窃取与任务调度2026-07-08
- 并发哈希表:分段锁与无锁方案2026-06-28
- 伪共享与缓存行对齐优化2026-06-18
机器学习系统10 篇
- LLM 推理引擎优化:KV Cache 与 Flash Attention2026-09-10
- CUDA 编程模型:从 Grid 到 Warp2026-08-30
- 分布式训练:数据并行与模型并行2026-08-20
- Transformer 架构:Self-Attention 数学推导2026-08-10
- 混合精度训练:FP16 与 BF16 实践2026-07-30
- ONNX 模型格式与推理优化2026-07-20
- GPU 显存管理:碎片整理与预分配2026-07-10
- NCCL 集合通信原理解析2026-06-30
- Tokenization:BPE 与 SentencePiece2026-06-20
- 模型量化:GPTQ、AWQ 与 SmoothQuant2026-06-10
编程语言10 篇
- Rust 异步运行时:从 Future 到 Waker2026-09-03
- Rust 所有权与借用:编译器视角2026-08-23
- Rust Trait 系统:静态分发与动态分发2026-08-13
- Rust 宏编程:声明宏与过程宏2026-08-03
- Rust unsafe 编程:FFI 与裸指针2026-07-23
- Haskell 类型系统:Monad 与类型类2026-07-13
- Go 运行时:Goroutine 调度与 GC2026-07-03
- Zig 语言:comptime 与交叉编译2026-06-23
- 类型论基础:从 λ 演算到 System F2026-06-13
- 编程语言设计:语法、语义与实现2026-06-03