标签
一篇个人博客文章，通过讲解调度场算法、一个简单的 C 语言实现，以及作者在阅读 Pratt 原始论文时所做的笔记，来解释 Pratt 解析法。作者当时正在构建一个 C 表达式解析器，未来可能会发展成一个编译器。
一篇博客文章，详细介绍了论文《流类型：透过透镜重新审视线性》，该论文利用透镜理论，在不增加核心语言复杂性的前提下解决线性类型系统中的穿线问题，并介绍了作者在一门名为 Laminar 的新语言中开展的实现实验。
作者分享了在一周内用 AI 辅助但不盲信 AI 的方法，安全删除约 19000 行编译器死代码的经验：先用静态分析界定范围，再让 LLM 标记 RED/BLUE 函数，并用独立的调用图工具交叉验证标记完整性，最终实现零回滚、零修复提交的清理。
PyTorch 北美大会的演示剧场将呈现 14 场赞助商演讲，涵盖训练、推理、编译器和部署等主题，包括来自 IBM、Datadog、Modal、Arm 和 Red Hat 的演示。
直击 PyTorchCon 2026，Qualcomm 的 Chris Lattner 展示了开发者如何用 MAX 和 Mojo 扩展 PyTorch，为跨多家厂商硬件运行代码提供共享基础。Mojo 将 Python 风格的代码与系统级速度相结合，而 MAX 则提供模型编写和面向多种硬件的图编译器。
Futhark 博客解释了有符号整数除法中 x/-1 溢出（最小负数无对应正值）导致的极端罕见 bug，以及为修复它在编译器中引入的性能开销与取舍。
OOPSLA 2026论文，介绍statewalk DP——一种用于有副作用的E-graph的新抽取算法，在无需外部ILP求解器的情况下强制保证副作用的执行顺序，并在eggcc原型编译器中实现了数量级的速度提升。
一篇深入的技术博客，介绍了 Valen 编程语言中一种新颖的逆向遍历借用检查器：它通过时间倒流的方式遍历函数来验证内存安全，同时可以有选择地放宽共享与可变互斥的规则。
一位开发者报告称，Gemini 4 Argon 在 With 编译器上进行构建时犯了许多错误，而 Meta Muse Wonder Full 在类似测试中毫无差错，这表明 Muse 更适合用于开发该编译器。
C++26 引入了新的 <debugging> 头文件，提供 std::breakpoint()、std::is_debugger_present() 和 std::breakpoint_if_debugging()，通过提案 P2546R5 和 P2810R4 实现标准化，以取代平台特定的调试宏。
Rust 1.99.1 发布，这是一个修复性点版本，解决了 wcslen 符号缺失、x86_64 上 FFI bool 返回值误编译以及 macOS 上 rustlld 无法加载 libLLVM 三项回归问题。
一份面向模拟器开发者的实用指南，介绍如何编写静态二进制翻译器（SBT），将特定架构的程序翻译为可在其他架构上更快运行的二进制文件，并提及 Orion 多目标静态翻译项目。
jinx 是一个将 Nix 编译为 TypeScript 的转译器，能够在浏览器中评估完整的 nixpkgs（231,777 个属性）并生成与 Nix 完全一致的 drvPath，从而让前端开发者在不安装 Nix 的情况下探索存储模型。
一篇深入的调试记录，展示了 antcc 的 -O2 性能劣化如何让一个 Lua 基准测试比未优化构建慢 1.4 倍，并逐步追踪 luaV_execute 中 2.4 倍的代码体积膨胀——从内联启发式与 IR 展开，一直排查到指令选择与寄存器分配。
一篇技术博客文章，列举了标准 C 与 gcc/clang + glibc/musl 实际行为之间的多种不兼容之处，包括 asm 关键字、FLT_ROUNDS、标准 pragma 未实现以及 initstate 错误处理等问题。
一篇博客文章展示了 LLVM 如何将无分支的位操作代码（如 128 位整数加法和恒定时间选择）在 RISC-V 目标上编译成真正的条件分支，这是因为 RV32/64 缺少条件移动指令，以及这种行为在不同 clang 版本中是如何变化的。
SIGPLAN 博客回顾了等式饱和（equality saturation）与 e-graph 技术自 egg 论文以来的发展，介绍了 CACM Research Highlight、Dagstuhl 研讨会及 EGRAPHS 工作坊等进展，并以"不完整性"为主题讨论了该技术的现状、挑战与未来方向。
Martin Uecker 在 Kernel Recipes 2026 上发表了关于 C 语言中未定义行为的演讲，探讨了其产生的原因、抽象机器模型如何为其提供依据，以及 C 语言最终能否变得内存安全。