A journal of software, security, and AI.

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. Choi Hyun-im
Engineering Linux 7.3-rc7 hardens mounts and schedules an ext4 mode for removal Engineering Kubernetes takes in the mixin that most clusters already run

Latest

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