Skip to content

Rust goes tier-1 at Microsoft, mold moves to Rust, and Python quietly renames re.match()

Three separate Rust stories landed in the same week, and none of them is a language release. This was a week about the toolchain underneath your code, plus one very small Python change worth five minutes of your time.

· All editions

  1. Rust is now a tier-1 language at Microsoft

    Rust sits alongside C++, C# and TypeScript internally, with more than 100 Microsoft repositories building hybrid Rust and C++ projects through a new compiler backend, `rustc_codegen_utc`, that wires rustc into MSVC's optimizer.

  2. Mold's Rust rewrite aims to be Linux's default linker

    Rui Ueyama is rewriting the mold linker from C++ into Rust for its 3.x series, and wants distributions to ship it as `/usr/bin/ld`. He credits AI coding tools with making the rewrite affordable at all.

  3. Python 3.15 soft-deprecates re.match() for re.prefixmatch

    Same function, clearer name. Nothing breaks, nothing warns, and no removal is scheduled - but every `re.match()` in your codebase is a place someone may have meant `re.search()`.

  4. Chrome moves to a two-week release cadence

    Chrome 153 starts a two-week milestone cycle, down from four. Google says Chrome 149 and 150 alone fixed 1,072 security bugs, as LLMs find flaws at scale.

  5. Mistral raises €3B at €21B, led by Samsung

    Nearly double its last round. Mistral plans 1 GW of European compute by 2030 and says it will host rivals' open weights.

  6. A tampered strip binary can backdoor all of NixOS

    Researchers built Ken Thompson's trusting-trust attack out of GNU strip rather than a compiler, and used it to backdoor almost every binary in a NixOS installer.

  7. Go 1.27 adds generic methods and a faster encoding/json

    Shipped August 19, 2026 with generic methods, a v2 engine under `encoding/json`, goroutine leak profiles and post-quantum signatures.

  8. Anthropic's AI formalizes Fermat's Last Theorem in Lean

    Anthropic says an internal model wrote 13 million lines of Lean in 11 days, producing a complete machine-checked proof.

The weekly digest

One email every Friday with the week's top stories from all six desks: AI, dev tools, coding, the tech industry, startups and what's next. Free, no spam.

Unsubscribe anytime with one click.