Redis 6 排行实现：ZSET、HyperLogLog 与时间衰减可验证指南
基于 Redis 6 以可复现的方式实现热门文章排行，结合 ZSET 排序、HyperLogLog UV 统计与时间衰减评分，提供经过验证的参数、Lua 原子脚本与验证步骤。
软件
Redis 6/7 I/O 多线程与持久化交互：io-threads、AOF 重写与延迟可验证实战
系统化解析 Redis 6/7 的 I/O 多线程机制与持久化交互，给出 io-threads、io-threads-do-reads 与 AOF 重写的配置与可验证压测方法，帮助在高并发下降低尾延迟并保持一致性。
TypeScript 类型收窄与模式匹配实战指南
面向工程实践系统讲解 TypeScript 的类型收窄与模式匹配方法，提供可运行示例与落地策略，帮助团队提升安全性与可维护性。
Git 内部原理：对象、引用与打包
深入 Git 的 .git 目录，探索 Blob、Tree、Commit 对象以及 Packfile 的存储机制。
MySQL 索引设计与覆盖索引的可验证实践指南
围绕 InnoDB B+Tree 与复合索引原则，用示例与 EXPLAIN/EXPLAIN ANALYZE 逐步验证覆盖索引与回表差异，配合可验证的参数与命令给出落地优化方法。
JavaScript 实现文章统计功能：浏览量统计与时间衰减排行
以可复现的方式实现热门文章功能，覆盖浏览量采集、去重统计、时间衰减排行与缓存策略，并提供经过验证的参数与代码示例。
PostgreSQL 索引膨胀与维护：REINDEX、VACUUM FULL 与 pg_repack 可验证实践
识别并量化索引/表膨胀，基于 pgstattuple 与统计视图进行评估，结合 REINDEX、VACUUM FULL 与 pg_repack 的可复现维护方案。
JMH 微基准与逃逸分析验证：Java 21 性能测量的正确姿势
使用 JMH 在 Java 21 下进行可信的微基准测量，涵盖预热、Fork、Blackhole、参数化与常见陷阱，确保结论可复现与可解释。
Kotlin Flow 背压与操作符深度实践：buffer、debounce、sample 与 flatMapLatest 可验证指南
以可复制代码说明 Kotlin Flow 的背压策略与时间操作符的适用场景与边界，包含 UI 输入防抖、流合并与状态建模的实践。
Go 并发与泛型热门实践：2025 可验证指南
面向生产的 Go 并发与泛型应用指南，覆盖稳定特性与可验证的性能调优、观测与陷阱规避，适配 Go 1.21+ 的标准库与参数配置。
