News

• · Oct 13, 2026 Creusot 0.14 adds another round of proved Rust contracts Creusot 0.14.0 is out. The tool lets Rust programmers attach contracts to code and check them with SMT solvers.
• · Oct 12, 2026 Linux 7.3-rc7 hardens mounts and schedules an ext4 mode for removal Linux 7.3-rc7 is a fixes-only snapshot. It tightens mount namespaces, deprecates ext4 data=journal, and works around an AMD translation bug.
• · Oct 12, 2026 Kubernetes takes in the mixin that most clusters already run SIG Instrumentation has adopted kubernetes-mixin, the Prometheus rules and Grafana dashboards many clusters already install.
• · Oct 12, 2026 An old kernel library had four bugs. An LLM found three of them. Linus Torvalds used an LLM to read an associative-array fix, then a user-space harness found three more bugs dating to 2013.
• · Oct 12, 2026 NVIDIA’s Rust Nova driver is a plan, not a replacement yet At Linux Plumbers, NVIDIA and Red Hat described Nova as a future upstream replacement for Open RM. It is not ready for users.
• · Oct 11, 2026 Torvalds is testing page-cache reads that skip folio references A branch in Torvalds’ tree, written with Claude Code, tries to read the page cache without taking folio references on the hot path.
• · Oct 9, 2026 OpenSSL 4.1.0-beta2 is for testers, not for production OpenSSL published 4.1.0-beta2 on 9 October. Supported release lines remain on the 29 September security updates.
• · Oct 8, 2026 Go 1.26.9 patches the toolchain, TLS, and HTTP Go 1.26.9, released 8 October, includes security fixes in the go command, crypto/tls, html/template, net/http, net/textproto, and os.
• · Oct 7, 2026 pgx-bm25 1.0 ranks search results inside PostgreSQL PGX released pgx-bm25 1.0, a PostgreSQL index that does BM25 ranking without a separate search service.
• · Oct 7, 2026 pg_plan_filter 1.0 can stop a query before it runs pg_plan_filter 1.0 rejects statements whose planner cost is too high, including a cap across a whole transaction.
• · Oct 7, 2026 Node.js 26.11.0 refreshes OpenSSL, certificates, and undici Node.js 26.11.0, published 7 October, bundles OpenSSL 3.5.9, NSS 3.129 root certificates, and undici 8.11.2.
• · Oct 7, 2026 NOCL is Mesa’s OpenCL path on top of NVIDIA CUDA Mesa’s NOCL, previously called CLUDA, implements Gallium on NVIDIA’s CUDA driver API and pairs it with Rusticl for OpenCL.
• · Oct 5, 2026 Swap is how some Kubernetes nodes fit three times the pods A Kubernetes blog on 5 October shows node swap, generally available since 1.34, raising pod density when idle memory can move to NVMe.
• · Oct 5, 2026 go-redis 9.23.0 drops Go older than 1.26 go-redis 9.23.0, tagged 5 October, sets Go 1.26 as the minimum. Builds on 1.24 or 1.25 have to move first.
• · Oct 1, 2026 Rust 1.99 lets you write C variadic functions Rust 1.99.0, released 1 October, stabilizes defining C variadic functions and a few raw-pointer layout helpers.
• · Oct 1, 2026 Python 3.10 is finished, and a tarfile bug is fixed Python shipped 3.10.22, 3.11.17, 3.12.15, 3.13.16, and 3.14.8 on 1 October. 3.10 will get no further security fixes.
• · Oct 1, 2026 Pgpool-II patched five branches at once The Pgpool Global Development Group released 4.7.3, 4.6.8, 4.5.13, 4.4.18, and 4.3.21 on 1 October.
• · Oct 1, 2026 Mesa 26.2.4 is a driver bug-fix release Mesa 26.2.4, released 1 October, fixes bugs found since 26.2.3 across the OpenGL, Vulkan, and OpenCL drivers.
• · Sep 29, 2026 OpenSSL 3.5.9 closes a high-severity hole and a stack of QUIC bugs OpenSSL’s 29 September advisory patches 3.5.9, 3.6.5, 4.0.3, and 3.4.8. The highest severity fix in 3.5.9 is rated High.
• · Sep 28, 2026 Git 2.56 stages only the conflicts you actually fixed Git 2.56.0, released 28 September, adds git add --resolved, git history drop, and a way to delete branches that are already merged.