介绍 Rust 的 Borrow Checker 的原理。

在比较早的时候，我使用腾讯文档记录一些数据库的论文。但我越来越无法忍受腾讯文档的 bug 等不便利。因此我打算将这些文章转移到博客中，即使它们中的部分的完成度并不是很高。

这篇文章中，包含 CStore、Kudu、Masstree 和 Ceph。

介绍软件工程领域一些通用的设计方案。

介绍 ZF 和 ZFC 集合论的由来。

https://github.com/CalvinNeo/SF-zh 做题笔记。

GhostCell 是另一个内部可变性的实现。相比 RefCell，它实现的是编译期的检查。

According to 老板，according to yifan，这本书很好，所以我就来学习一下了。

Grafana 上如果观测离群点，会发现它的值漂移地很厉害。往往一个实际 2min 的指标能显示出是几个 hour。
如 https://github.com/pingcap/tiflash/issues/8076 所述。这个问题发生需要同时使用 histogram_quantile 和 rate。

此外，可以从这个解决方案延伸出一个浮点压缩算法 ALP。

这个特性为了解决 TiKV 到目前的一些积弊：

• Mono RocksDB 难以支持更大的数据量
• RaftLog -> RockDB WAL -> RocksDB 的写放大
• 部分 Raft Admin 无法被 Replay，从而导致很多落盘

介绍一下 TiFlash 和 TiDB 云服务相关的一些设计思考。