Swift cells, Python 3.15, and toolchain hardening

Swift Evolution advanced memory cell types while Python shipped 3.15.0 and binutils hardened linker relaxation. Security advisories, formal methods, and process proposals also moved across language communities.

Swift Evolution reviews Cell, ConstCell, and Volatile

The Swift forums conducted a review of SE-0556, which introduces Cell, ConstCell, and Volatile. Discussion across 52 messages focused on aliasing, Sendable conformance, and C/C++ interop. The proposal gives developers finer control over shared mutable state and foreign interfaces.

Python 3.15.0 reaches final release

Python 3.15.0 final was announced on discuss.python.org. The release brings PEPs for frozendict, lazy imports, and sentinels, plus JIT performance gains. Package maintainers and application developers should plan evaluation of the new features for upgrades.

Binutils hardens BFD relaxation against underflow

A patch series for binutils adds a shared bounds check that hardens 18 ELF linker relaxation backends. The change prevents size underflow during in-place byte deletion that could lead to heap corruption. Toolchain distributors and linker maintainers gain protection against a class of memory safety failures.

Glibc publishes CVE-2026-122054 for iconv hang

Glibc maintainers published an advisory for CVE-2026-122054, a hang in the iconv BIG5-HKSCS converter triggered by crafted input. The flaw affects versions 2.18 through 2.31. Operators running those releases should review exposure in character conversion paths.

Lean formalization of Julia Base finds hundreds of bugs

A Julia discourse thread covers modeling Julia Base in Lean 4, reporting more than 400 bugs discovered in the process. Participants debated how to keep formal specifications current with the implementation. Core developers and formal methods users gain evidence of both the value and cost of such efforts.

LLVM RFC proposes open-PR limits for non-committers

An RFC on the LLVM forums proposes caps on open pull requests from non-committers. The stated aim is to curb volume from LLM-generated patches and ease reviewer burden. Maintainers of large projects facing similar automated submission pressure have a concrete process proposal to examine.

ESA team presents Julia ATLAS for lunar lander GNC

An ESA team described ATLAS, a Julia guidance, navigation, and control simulator built for the Argonaut lunar lander. The discussion weighed performance trade-offs against MATLAB. Aerospace and scientific computing developers considering Julia for high-reliability simulation obtain a practical case study.

PEP 813 round 2 refines the pretty-print protocol

Round 2 of PEP 813 proposes a pprint protocol and a new printer API aimed at Python 3.16. Forum discussion refined the design over 14 messages. Library authors who customize object display would receive a standardized extension point.