Rust Enables Polonius Alpha Borrow Checker on Nightly, Targeting Stabilization by Year's End
Rust's next-generation borrow checker, Polonius Alpha, is now live on nightly for testing, with the project aiming to stabilize it before 2026 ends.
Signal
26 articles covering "compilers"
Rust's next-generation borrow checker, Polonius Alpha, is now live on nightly for testing, with the project aiming to stabilize it before 2026 ends.
HEIR compiles pre-trained AI models to run inference on fully homomorphic encrypted data, letting servers process private data without decrypting it.
The React team merged a work-in-progress Rust rewrite of the React Compiler, and Vercel says early Turbopack tests found 20-50% faster compilation.
Rust shipped an emergency point release fixing an LLVM miscompilation that quietly existed since Rust 1.87 and turned crash-prone after 1.97.0.
Rust 1.97.0, released July 9, made the v0 symbol-mangling scheme the stable default, stabilized a Cargo build.warnings setting, and enabled linker warning output by default.
OCaml 5.5.0-rc1 lands modular explicits, the inference-free half of the long-sought modular implicits, plus a compiler that can be moved between directories.
GCC 16.1 was released April 30 with ga68, an experimental Algol 68 compiler targeting the Revised Report. The shipped frontend bundles a driver, a compiler proper, and a runtime library.
The GNU Compiler Collection's next major release enters its final regression-fixing phase with early C++26 support, a new Algol 68 frontend, AMD Zen 6 targets, and a long-awaited shift to C++20 as the default C++ dialect.
LLVM 22.1, released February 24, introduces production-ready Distributed ThinLTO, C2y Named Loops in Clang, LLDB WebAssembly debugging, and support for Intel Nova Lake and Arm C1 processors.
Microsoft released TypeScript 6.0 on March 23, the last version of the compiler written in JavaScript. The release introduces strict-by-default settings and deprecates legacy features ahead of TypeScript 7.0, a full Go rewrite that has shown up to 10x faster compilation in benchmarks.
Rust 1.94.0 stabilizes array_windows and AVX-512 FP16 intrinsics as the project finalizes 65 goals for 2026 targeting faster compilation, trait overhauls, and deeper Linux kernel integration.
The ISO C++ committee meets in London on March 23 to finalize C++26, which introduces compile-time reflection, design-by-contract annotations, the std::execution async framework, and standardized SIMD types in the language's most ambitious revision since C++11.