ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

GRUB Continues Working Toward Its Next Release In 2025

([GNU] 4 February 04:54 PM EST GRUB Bootloader)

As somewhat of an annual tradition for the FOSDEM conference, Daniel Kiper of Oracle presented a status update on the GRUB bootloader. As one of the GRUB maintainers he offers great insight to activity around this most common Linux bootloader.



An Early Performance Regression Hitting Highly Threaded Workloads On Linux 6.14-rc1

([Software] 4 February 03:20 PM EST 14 Comments)

With Linux 6.14-rc1 released I have begun trying out the new development kernel on a few systems locally. At least for high core count hardware tested thus far, Linux 6.14 at the moment during this early testing phase is sporting some performance regressions within some multi-threaded workloads.



Firefox 136 Beta Finally Enables Hardware Video Decoding For AMD GPUs On Linux By Default

([Mozilla] 4 February 02:04 PM EST Firefox 136)

With Firefox 135 released, Firefox 136 is now in beta. Most notable with this next iteration of the Mozilla Firefox web browser is finally enabling hardware video acceleration by default for AMD GPUs on Linux.



FFmpeg Adds AMD AMF Decoder, FSR-Based Upscaling

([Radeon] 4 February 12:55 PM EST FFmpeg + AMF + FSR)

Landing this week in the FFmpeg open-source library that is widely-used by multimedia applications was NVIDIA video acceleration improvements for Blackwell GPUs. Over on the AMD side, there are also some interesting changes to have been merged this week into upstream FFmpeg.



Optimizing The Linux Kernel With PGO Can Yield ~3% Benefit For HPC Workloads

([Programming] 4 February 12:37 PM EST High Performance Computing)

While the Linux kernel itself may not be often viewed as a bottleneck to typical high performance computing (HPC) workloads, optimizing the Linux kernel with Profile Guided Optimizations (PGO) can prove worthwhile for those seeking maximum performance potential. A presentation this past weekend at FOSDEM 2025 is highlighting around a 3% performance gain for HPC software compiled with PGO enabled.



Redox OS Makes Progress On Dynamic Linking, New Ports

([Operating Systems] 4 February 11:49 AM EST Redox OS)

The Rust-written Redox OS open-source operating system is out with a new status report to highlight the progress their developers made over the course of January.



FFmpeg Lands Video Encoding/Decoding Improvements For NVIDIA Blackwell GPUs

([Multimedia] 4 February 10:27 AM EST FFmpeg + NVIDIA Blackwell)

Merged this week to FFmpeg Git for this widely-used open-source multimedia library are a number of NVIDIA video encoding "NVENC" improvements for benefiting the new GeForce RTX 50 "Blackwell" graphics processors.



Ubuntu Infrastructure Woe Continues Making It A Hassle To Run The Latest Upstream Kernel

([Ubuntu] 4 February 08:42 AM EST No Mainline Kernel PPA)

The Ubuntu Mainline Kernel PPA for years has been a great feature for Ubuntu users to be able to easily fetch and run the newest upstream kernel whether it's the latest stable kernel version, one of the weekly release candidates, or even the very leading-edge daily Git kernel builds. Sadly for months now this service has been out of order.



Linux 6.15 Looks Like It May Try Again With EXECMEM_ROX Support

([Linux Kernel] 4 February 06:43 AM EST EXECMEM_ROX)

Initially merged back for the Linux 6.13 kernel was EXECMEM_ROX support for module text on x86_64 systems. With this caching of large ROX pages it can help with lowering TLB instruction pressure and enhancing performance. But this EXECMEM_ROX support that was contributed by a Microsoft engineer ended up being reverted in the final days of Linux 6.13. The revert came due to bugs and not having any Linux x86 maintainers signing off on the code. This code has been getting into shape for trying again with the mainline kernel.



Debian 13 Will Aim To Include GNOME 48, Debian/Ubuntu Begin Packaging GNOME Papers

([Debian] 4 February 06:31 AM EST Debian 13 + GNOME 48)

For those wondering whether Debian 13 would see the upcoming GNOME 48 desktop packages given the upcoming Debian 13 "Trixie" development freezes, it looks like this updated GNOME release will be squeezed in.



Igalia's Optimizations Juicing More Graphics Performance Out Of The Raspberry Pi

([Raspberry Pi] 4 February 06:12 AM EST Raspberry Pi 4/5)

Igalia engineers José María Casanova Crespo and Maíra Canal presented at FOSDEM this past weekend in Brussels around the efforts by this open-source consulting firm to further enhance the 3D performance out of the Raspberry Pi single board computers.



Serpent OS Development Slowing Down Amid Lack Of Funding

([Operating Systems] 3 February 08:40 PM EST Serpent OS Funding Low)

Serpent OS is the original Linux distribution started by Ikey Doherty of Solus Linux fame and has been pursuing its own package management system and new innovations in the Linux distribution landscape. While there has been recent success and new development builds coming out, feature development on Serpent OS is expected to slowdown now due to a lack of project funding.



FreeBSD On Laptops Effort Gets Proof-Of-Concept Intel 802.11 a/b/g WiFi Working

([BSD] 3 February 05:02 PM EST FreeBSD On Laptops)

In addition to the FreeBSD Foundation funding work on s0ix sleep state support as part of their initiative to improve FreeBSD's support for modern laptops, they have also been funding work on a number of other objectives, including better WiFi driver coverage. A milestone now being achieved for 2025 is getting a proof-of-concept Intel 802.11 a/b/g WiFi driver support working for this BSD operating system.



GEICO Insurance Company Developing TuxTape - A New Linux Kernel Livepatching Solution

([Linux Kernel] 3 February 04:06 PM EST GEICO TuxTape)

Red Hat's Kpatch, Oracle's Ksplice, and SUSE's kGraft are the most well known solutions currently for Linux kernel live-patching primarily for applying security patches to running Linux servers. It wasn't on my bingo card for insurance giant GEICO working baking their own Linux kernel live-patching solution, but they announced it this weekend and it will soon be open-source.



Cloud Hypervisor 44 Released With New Performance Improvements

([Virtualization] 3 February 02:43 PM EST Cloud Hypervisor 44.0)

Cloud Hypervisor 44 is now available as the newest version of this security and cloud minded Virtual Machine Monitor (VMM) that operates atop Linux's KVM and the Microsoft MSHV Hypervisor.



Three New Intel Battlemage Device IDs Added To Open-Source Linux Driver

([Intel] 3 February 01:20 PM EST More Intel Battlemage GPUs?)

Three more PCI device IDs were added today to the Intel open-source Mesa 3D graphics driver code for Battlemage that could be for future higher-end products or along the lines of Data Center GPU Flex Series or other products.



Alpine Linux In An Infrastructure Crisis With Equinix Metal Sunsetting

([Operating Systems] 3 February 01:00 PM EST Alpine Linx)

Last week I wrote about the crisis plaguing X.Org / FreeDesktop.org with losing out on their cloud/server infrastructure due to losing out on their free server resources provided by Equinix at the end of April. It's not only FreeDesktop.org and all those hosted projects now rushing to find hosting alternatives and sponsorships to cover new costs, but it turns out the Alpine Linux project is also in a similar position.



Faux Bus Proposed For The Linux Kernel To Better Deal With Simple Devices

([Linux Kernel] 3 February 11:20 AM EST Faux Bus)

Linux's second-in-command Greg Kroah-Hartman is proposing "Faux Bus" as a new "fake" bus solution for simple devices.



Firefox 135 Published With Safeguards To Prevent Overwhelming The Back History

([Mozilla] 3 February 10:32 AM EST Firefox 135)

Mozilla Firefox 135 release binaries are now available for those wanting to grab the latest browser release right away.



Red Hat Hiring To Continue Advancing The Linux Desktop In 2025

([Fedora] 3 February 10:00 AM EST Fedora 2025 Plans)

Christian Schaller as Red Hat's Director of Software Engineering outlined in a blog post today some of the areas they will be focusing on this year with Fedora Workstation development. Additionally, they will be hiring at least two more Linux desktop engineers this year at Red Hat.



More

HOW TO PROVE IT, PART 3

proof by obfuscation:
A long plotless sequence of true and/or meaningless
syntactically related statements.

proof by wishful citation:
The author cites the negation, converse, or generalization of
a theorem from the literature to support his claims.

proof by funding:
How could three different government agencies be wrong?

proof by eminent authority:
'I saw Karp in the elevator and he said it was probably NP-
complete.'