(译)用 Isabelle/HOL 验证分布式系统 发表于 2022-11-15 | 分类于 翻译 | 字数统计: 3.4k | 阅读时长 ≈ 12min 众所周知，分布式系统很难推理，正确性的正式证明对于分布式算法很有价值。 阅读全文 »
What interesting things can zset for redis do? 发表于 2022-07-26 | 分类于 redis | 字数统计: 1k | 阅读时长 ≈ 6min Multidimensional leaderboard and rate Limiting. 阅读全文 »
What interesting things can zset for redis do? 发表于 2022-07-26 | 分类于 redis | 字数统计: 1k | 阅读时长 ≈ 6min Multidimensional leaderboard and rate Limiting. 阅读全文 »
如何让一个历史包袱重的模块重获新生 发表于 2021-07-02 | 分类于 设计模式 | 字数统计: 2.4k | 阅读时长 ≈ 8min 之前重构了一个历史包袱重，代码多且复杂，性能不好的模块。积累了一些经验，分享给uu们。 阅读全文 »
限流算法及RateLimiter源码解析 发表于 2020-04-17 | 分类于 并发 | 字数统计: 4k | 阅读时长 ≈ 14min 超详细！限流算法及RateLimiter源码解析 阅读全文 »
实习笔记——开发技巧 发表于 2019-11-25 | 分类于 工程技巧 | 字数统计: 4.7k | 阅读时长 ≈ 18min 实习时候的笔记，分为四部分：linux常用命令、Git使用总结、框架常用注解、提升开发效率的技巧 阅读全文 »
