Engineering
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.
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.
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.
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.
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.
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.
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.
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.
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.