calssion's blog
  • Home
  • Archives
  • Tags
  • Categories
calssion's blog
  • Home
  • Archives
  • Tags
  • Categories

没有源码的 x86 程序,怎么完整迁移到 ARM —— Elevator 的暴力美学

2026-08-18
汇编
约 4605 字 预计阅读 10 分钟

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

阅读更多

AI 写的代码敢放心用吗?聊聊 GPU 内核的"形式化验证"

2026-07-14
AI
约 8698 字 预计阅读 18 分钟

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

阅读更多

CopySanitizer:揪出 C++ 程序中的无用拷贝

2026-06-23
优化
约 4928 字 预计阅读 10 分钟

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

阅读更多

编译器的新思路:告别"支配关系",拥抱"自由变量"

2026-06-01
优化
约 12956 字 预计阅读 26 分钟

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

阅读更多

PC 游戏能跑在手机上吗 —— 从 GPU 架构看两个世界的鸿沟

2026-05-17
操作系统
约 4655 字 预计阅读 10 分钟

之前好奇为什么不直接移植 PC 游戏到手机端,最近刚好看到一个科普漫画,本文简单展开讲讲。

阅读更多
下一页
由 Hugo 强力驱动 | 主题 - Even © 2021 - 2026calssion