之前写到过 AI 的代码可以通过形式化验证来保证安全性和正确性，但是对于移动端还是得通过实际测试，所以好奇 AI 给移动端测试带来的发展，本文来了解一下移动端的自动化测试。

面对"区分代码和数据"这个理论上不可判定的问题，现有的静态二进制翻译器基本依赖启发式猜测——猜错就翻译错。而最近加州大学尔湾分校的研究者换了一个思路：不猜，把所有可能性都翻译一遍。用空间换正确性。

最近一直在用 AI 写代码，但是上线时也总会隐隐不安，刚好看到一篇文章，讲到 AI 写 GPU 内核的事情，本文简单探讨一下。

在 LLVM 论坛看到一个新的 RFC CopySanitizer，用于优化 C++ 程序的性能，挺有趣的，本文来简单介绍一下。

最近看到一个关于编译器分析优化的新思路，感觉很有趣，本文来简单介绍一下。