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

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

接上篇文章，outline 不仅仅是用作减少代码体积的优化技术，还可以用来优化性能，可以有 2% 左右的提升，本文简单介绍一下。

outline 可以作为优化代码体积的利器，大致可以优化 12%-37% 的大小，但也可能带来 2%-6% 的性能劣化，本文简单介绍一下这项优化技术。

代码编译优化旨在提升代码质量和性能，而窥孔优化(peephole optimization) 就是其中的一种优化技术，本文将简单介绍一下。

最近简单了解了一下区块链相关的知识，做了一篇笔记记录一下。