Hydra 可以泛化 LLVM 中错过的 75% 的窥孔优化，使得代码能够得到更好的优化，本文简单介绍一下。

读到一篇关于增量编译加速的论文，对比基础的 LLVM/Clang 增量编译平均加速了 6.72%，本文笔记简单记录一下。

在网上看到一个有趣的讨论，关于 x86 指令集是否应该消亡，对于分歧点，本文简单记录一下，作为吃瓜群众学到不少。

读到一篇动态内存分配优化的论文，HALO 与 jemalloc 相比，减少了 L1 data-cache miss 达 23%，总执行时间减少 28%，显著地提升了性能。

本文简单解读一下 该论文 《HALO: Post-Link Heap-Layout Optimisation》。

编译器本身是可能有 bug 的，会导致引入错误编译问题(miscompilation)，这对于安全要求高、容错率低的任务是很难接受的。

我们会希望编译器生成的代码，其语义与我们所写的源代码语义完全一致，不会被编译器误编译本身所影响，本文简单了解一下通过了形式化验证的编译器 CompCert，其保证了编译的正确性和语义一致性。