《时间的秩序》是意大利理论物理学家的作品，他用这部作品带我们探索时间的本质，以他的视角向大众做物理科普。

在 LLVM 的类型系统中，进行两个类型是否等价的判断，对于做代码分析而言是很重要的，本文将介绍遇到的难题以及解决的方法。

《富爸爸，穷爸爸》是作者罗伯特·清崎的真实故事，是不错的理财启蒙书，对于塑造我们的财富观念有帮助。

代码 bug 总在不经意间出现，导演了一出出 crash 的悲剧。为了扼杀 bug 于襁褓之中，本文介绍的主角 Sanitize 挺身而出，致力于解决内存泄露、缓冲区溢出和未定义行为。

跨语言调用是很方便实用的操作，但其实现并非想象的那么简单，包含有复杂的 ABI 设计、语言间的兼容交互等，本文将介绍一个跨语言调 C 库：DragonFFI。