本文从MIT的线代教程的角度重新学习线性代数。

这是第二部分，从 L14 开始。

介绍停机问题相关证明。

介绍 valgrind 的 Memcheck、Callgrind、Helgrind、Massif 等工具的用法。

介绍分布式架构和高并发相关场景下的设计和问题定位的相关经验，持续更新。

在分布式架构下，我们不得不摆脱一些下层硬件为提供的屏障，而要去解决真实环境带来的难题。
如果将普通的程序比作是经典力学，那么研究高并发系统有点类似于研究热力学。当成千上万个过程彼此交互、竞争、等待，在有限的集群资源中将会产生不一样的场景。

把文章中的相关部分独立出来。

今天遇到一个奇怪的现象，前后两个版本 Cargo.lock 相同，但是后面的版本却报错”dyld: Library not loaded: @rpath/libclang.dylib”。

本文介绍 C++ 中的类型转换。
部分内容来自C++元编程和C++右值。隐式转换部分和重载决议有关，需要结合起来看。

在最近几个 C++ 版本中，auto 越来越常见。很多人打趣说将来 C++ 里面一定全是 auto。本文介绍 C++ 中 auto(新)关键字的用法。

因为原《Redis底层对象实现原理分析》太大了，所以被拆解出来介绍Redis基础设施的相关实现，包括：

1. redisDb，以及在这上面的增删改查
2. Redis的expire和evict机制
3. Redis的事件机制
4. Redis的主从复制(一部分)
   注意，很多实现在引入主从复制之后都变得非常复杂，有很多边边角角要考虑，这也导致Redis的代码相比3.0版本要难看很多。本文对主从复制的涉及，局限于帮助理解实现。
   本文介绍的部分比如propagate机制。

本文中不介绍的是，它们在系列的其他文章中讲解：

1. Redis的对象实现
2. Redis Sentinel
3. Redis Cluster
4. Redis AOF/RDB

转发我的文章
https://cn.pingcap.com/blog/how-we-eliminate-the-four-year-fork-between-two-open-source-projects