Glonce

Edition of

Linux kernel CVE-2026-98432: IPv4 TCP use-after-free rated 9.8

A use-after-free in the Linux IPv4 TCP handshake, reachable by a remote unauthenticated peer, is fixed upstream, but Ubuntu and RHEL kernels were still unpatched on October 31. Anthropic says its Claude model wrote a working root exploit. →

Apple announces first touchscreen MacBook Pro, from $2,899

Apple unveiled the MacBook Pro with PROLED XDR Display, its first laptop with a touch-sensitive screen. It comes in 14-inch and 16-inch sizes with M5 Pro or M5 Max chips and launches November 6. →

Jepsen finds 96 issues in ParticleDB, nearly all on healthy single nodes

Jepsen tested Orkes' Rust database ParticleDB, versions 1.1.4 through 1.1.18.11.rc-22, and reports 96 issues, all but three on healthy single-node instances. Early findings include unusable table-2pl performance, spontaneous crashes and deadlocks. →

Google DeepMind's ForTy maps world forest types at 10-meter resolution

Google DeepMind and the World Resources Institute built ForTy, an AI map that sorts the world's 2020 land into six classes, including primary forest, plantations and tree crops. It scores 90.2% overall but finds only about half of tree crops and planted forests. →

Verge writer builds $50 Muse Charm lookalike with Claude Code

A Verge writer with no coding experience bought a $50 Waveshare pendant that Meta sanctions for its Muse cloud, then used Claude Code to add voice, avatars, a minigame and a watch face before Meta's Muse Charm ships. →

EasyProver nearly saturates Lean benchmarks; new Aegis tests Rust code

A new Lean proving system, EasyProver, built on an off-the-shelf frontier model with no extra training, proves 669 of 672 PutnamBench problems. The authors add Aegis, a harder Rust-Lean verification benchmark, where it proves 52.7% of a 2,000-statement sample. →

Hugging Face launches Project ProtoStar to make public science AI-ready

Hugging Face and university partners, including Carnegie Mellon, have launched Project ProtoStar to get publicly funded datasets, models and code into AI-ready formats. The first open challenge, a climate forecasting task hosted by CMU, runs November 2 to 13, 2026. →

Python 3.15 adds built-in sentinel after PEP 661 is accepted

A conference speaker explains why None is overloaded in Python and reports that PEP 661 was accepted nine days after he called it deferred. Since Python 3.15, sentinel is a built-in that type checkers can narrow. →

AI data centers become a flashpoint in Maine's Senate race

Days before the midterms, Maine voters are pushing back on data centers while tech billionaires and PACs spend heavily in the Collins vs. Jackson Senate race. A September poll found 76 percent oppose a data center in their community. →