介绍 Church 编码和 Scott 编码。

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

这是第三部分，从 L26 开始。

本文从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(新)关键字的用法。