compilers

Mojo v1.2.0 has been released, marking a new version update for the Mojo programming language developed by Modular.

A blog post walking through the paper 'Flow Typing: A New Lens on Linearity', which uses the theory of lenses to solve the threading problem in linear type systems without complicating the core language, plus the author's implementation experiments in a new language called Laminar.

作者分享了在一周内用 AI 辅助但不盲信 AI 的方法，安全删除约 19000 行编译器死代码的经验：先用静态分析界定范围，再让 LLM 标记 RED/BLUE 函数，并用独立的调用图工具交叉验证标记完整性，最终实现零回滚、零修复提交的清理。

PyTorch Conference North America's Demo Theater features 14 sponsor presentations covering training, inference, compilers, and deployment, including demos from IBM, Datadog, Modal, Arm, and Red Hat.

Live from PyTorchCon 2026, Chris Lattner of Qualcomm shows how developers can extend PyTorch with MAX and Mojo, offering a shared foundation for running code across hardware from multiple vendors. Mojo blends Pythonic code with systems-level speed, while MAX provides model authoring and a graph compiler targeting diverse hardware.

Futhark 博客解释了有符号整数除法中 x/-1 溢出（最小负数无对应正值）导致的极端罕见 bug，以及为修复它在编译器中引入的性能开销与取舍。

OOPSLA 2026 paper introducing statewalk DP, a new extraction algorithm for effectful e-graphs that enforces effect ordering without external ILP solvers, achieving order-of-magnitude speedups in the eggcc prototype compiler.

A deep technical blog post introducing a novel reverse-walking borrow checker for the Valen programming language, which traverses functions backward through time to verify memory safety while optionally relaxing shared-xor-mutable rules.

A developer reports that Gemini 4 Argon made many mistakes when building on the With compiler, while Meta Muse Wonder Full completed a similar test without errors, suggesting Muse is better suited for developing the compiler.

C++26 introduces a new <debugging> header with std::breakpoint(), std::is_debugger_present(), and std::breakpoint_if_debugging(), standardized via papers P2546R5 and P2810R4 to replace platform-specific debugging macros.

Rust 1.99.1 发布，这是一个修复性点版本，解决了 wcslen 符号缺失、x86_64 上 FFI bool 返回值误编译以及 macOS 上 rustlld 无法加载 libLLVM 三项回归问题。

一份面向模拟器开发者的实用指南，介绍如何编写静态二进制翻译器（SBT），将特定架构的程序翻译为可在其他架构上更快运行的二进制文件，并提及 Orion 多目标静态翻译项目。

jinx 是一个将 Nix 编译为 TypeScript 的转译器，能够在浏览器中评估完整的 nixpkgs（231,777 个属性）并生成与 Nix 完全一致的 drvPath，从而让前端开发者在不安装 Nix 的情况下探索存储模型。

A deep-dive debugging writeup showing how antcc's -O2 pessimization made a Lua benchmark 1.4x slower than the unoptimized build, tracing the 2.4x code-size blowup in luaV_execute past inlining heuristics and IR expansion into instruction selection and register allocation.

一篇技术博客文章，列举了标准 C 与 gcc/clang + glibc/musl 实际行为之间的多种不兼容之处，包括 asm 关键字、FLT_ROUNDS、标准 pragma 未实现以及 initstate 错误处理等问题。

A blog post shows how LLVM compiles branch-free bit-manipulation code (like 128-bit integer addition and constant-time select) into actual conditional branches on RISC-V targets, because RV32/64 lack conditional-move instructions, and how this behavior has changed across clang versions.

SIGPLAN 博客回顾了等式饱和（equality saturation）与 e-graph 技术自 egg 论文以来的发展，介绍了 CACM Research Highlight、Dagstuhl 研讨会及 EGRAPHS 工作坊等进展，并以"不完整性"为主题讨论了该技术的现状、挑战与未来方向。

Martin Uecker gave a Kernel Recipes 2026 talk on undefined behavior in C, exploring why it exists, how the abstract-machine model enables it, and whether C can eventually become memory-safe.

A Lobsters discussion about techniques for calling a function in C without directly naming it, covering low-level language tricks and compiler/linker behavior.

An exploration of how compilers and build systems can communicate more effectively, examining interfaces and coordination mechanisms between them and beyond.