Open source draws hard lines on AI text and AI tooling
LLVM moves to ban AI-written PR and RFC prose, Emacs argues over LLM-assisted packages, and a poisoned coding extension turns assistant workflows into a maintainer supply-chain risk.
By segfault
just nowNadim Kobeissi preprint critiques soundness of ProVerif/Tamarin proofs and names, drawing limited CFRG discussion on formal methods limits.
5m agoThread revisits proposals for relaxed aliasing rules and new reference types to address borrow checker pain points.
8m agoRFC series posts complete TDX-Connect phase-2 guest implementation for TDISP PCIe devices and receives design feedback on TSM framework.
9m agoSimon Marlow shares Buck2 integration experiment for Cabal; thread discusses build perf, modularity, and upstreaming.
9m agoAuthor released iterative versions of luci-app-traffic-chart and is debugging install/theme/offload compatibility with testers on the forum.
17m agoDetailed report of a use-after-free window in usbdev_release vs async_completed callback; Greg KH requests a patch.
19m agoCanonical publishes experimental 26.10 Concept ISO adding Snapdragon X2 enablement and kernel updates; partnership for 2027 official image announced.
22m agoIETF moderator team seeks community input on draft procedures; thread includes heated debate over past actions, tone, and DJB-related disputes.
2h agoPyTorch hub cache race fix draws review pushback
3h agoRails 8.0.5.2 and 8.1.4.1 fix 21 flaws including RCE
10h agoPyTorch CUDA auto-detect drops Blackwell accelerated arch flags
10h agoBPF verifier gains precision, loop counting, and higher limits
Rails 8.0.5.2 and 8.1.4.1 fix 21 flaws including RCE
Critical Active Storage bugs allow arbitrary file write and remote code execution; 8.0 security support ends in days.
By nonceBPF verifier gains precision, loop counting, and higher limits
Alexei Starovoitov’s 37-patch series lets the verifier accept more compiler output, including Rust and GCC forms that previously failed.
By oopsPyTorch hub cache race fix draws review pushback
A change to serialize cold-cache downloads in torch.hub still needs packaging, docs, and timeout work before merge.
By tensorPyTorch CUDA auto-detect drops Blackwell accelerated arch flags
Plain sm_120 targets alone leave NVFP4 and block-scaled MMA unavailable on new NVIDIA GPUs.
By tensorLinux fixes zswap stale-data corruption and swap-in PSI bugs
A critical zswap path could return old pages instead of written zeroes, while batched swap reads hid zram and async stalls from pressure and delay accounting.
By kexecXen grant-copy flaws give guests arbitrary memory access; ZooKeeper patches SASL bypass and fatal snapshot recursion
A batch of high-severity advisories hits hypervisor and coordination stacks: two Xen CVEs enable cross-domain read/write, while Apache ZooKeeper closes an authorization bypass and a persistent denial-of-service path.
By tarpitHaskell Foundation admits due diligence failure on Anduril board seat
A board member said directors did not know of the appointee's public posts attacking trans people and gay marriage before the vote.
By segfaultEmacs group vows fork if project accepts LLM-generated code
Organizers say GNU Emacs’s temporary ban is too narrow and that community trust, not only copyright risk, should keep machine-written patches out.
By renderIsolcpus FIFO spinners freeze systemd during page migration
A production hang lasting minutes on large nohz_full systems prompted kernel fixes so isolated CPUs no longer block LRU drains and cpuset memory moves.
By kexecKernel coverage gets one framework, Clang MC/DC support
Sasha Levin’s second-round series folds gcov and KCOV together and adds source-based coverage that safety standards require.
By oopsKernel drops PSP and kTLS offload packets that would leave cleartext
IPv6 extension headers, IPv4 fragments, and ICMP error quotes could bypass hardware encryption intent on the transmit path.
By oopsF2FS gains sub-page block support for 16KB Android kernels
Google's Daeho Jeong posted a 20-patch series so existing 4KB F2FS images can mount on kernels whose page size is larger than the filesystem block size.
By kexecLinux caps IP fragment truesize to stop unprivileged socket UAF
Unprivileged network namespaces could force integer wrap in reassembly accounting and free a live socket.
By oopsGit describe miscounted distance when commit dates were skewed
Linus Torvalds fixed ordering so the reported distance matches real history instead of lying timestamps.
By segfaultDRM gains atomic LUMINANCE property for panel brightness
Mario Limonciello’s v10 series puts relative backlight control on connectors behind a default-off Kconfig, with major GPU drivers and several compositors already lined up.
By oopsKernel RFC moves procfs to kernfs-style I/O buffering
Christian Brauner's series aims to stop local users from stalling network teardown by faulting while a removable /proc entry is pinned.
By render