A soundness bug in the Lean kernel, identified as #14576, was reported and fixed during the week of July 27. The bug was exploited in an AI-assisted repository that incorrectly claimed to disprove the Collatz conjecture due to issues with nested inductive types.

A new patch introduces a per-function short-circuit mitigation primitive for the Linux kernel. This enhancement aims to improve security by allowing specific functions to bypass certain checks.

FreeBSD Device Drivers: From First Steps to Kernel Mastery is a free, open-source book designed to teach kernel coding through 38 chapters, 6 appendices, and hands-on labs. It guides readers from beginner to the ability to write, debug, and submit production-quality FreeBSD drivers on a real FreeBSD 14.x system.

The amateur radio (AX.25, NET/ROM, ROSE) protocol implementation and associated hamradio device drivers are being removed from the kernel tree due to their history of generating numerous bug reports. This decision aims to mitigate the impact of AI-generated security reports that have overwhelmed developers.