Feed aggregator

There are a lot of things people expect the Linux kernel to do correctly. Some of these are checked by testing or static analysis; a few are ensured by run-time verification: checking a live property of a running Linux system. For example, the scheduler has a handful of different correctness properties that can be checked in this way. Nam Cao posted a patch series that aims to extend the kinds of properties that the kernel's run-time verification system can check, by adding support for linear temporal logic (LTL). The patch set has seen eleven revisions since the first version in March 2025, and recently made it into the linux-next tree, from where it seems likely to reach the mainline kernel soon.

Rescuezilla 2.6.1 disk imaging and recovery adds Ubuntu 25.04 support, improves touchpad gestures, fixes swap partition restore failures, and more.

The post Rescuezilla 2.6.1 Released with Ubuntu 25.04 Base appeared first on Linux Today.

Autodesk Fusion is a computer-aided design (CAD), computer-aided manufacturing (CAM), computer-aided engineering (CAE) and printed circuit board (PCB) design software application. Autodesk Fusion is proprietary software and is not available for Linux. We recommend the best free and open source alternatives.

The post Best Free and Open Source Alternatives to Autodesk Fusion appeared first on Linux Today.

In the first keynote at EuroPython 2025 in Prague, Savannah Bailey described her path to becoming a CPython core developer in November 2024. She started down that path a few years earlier and her talk was meant to inspire others—not to slavishly follow hers, but to create their own. In the talk, entitled "You don't have to be a compiler engineer to work on Python", she had lots of ideas for those who might be thinking about contributing and are wondering how to do so.

GStreamer 1.26.4 multimedia framework is out with important bug fixes, improved RTP handling, better AWS MediaLive compatibility, and more.

The post GStreamer 1.26.4 Rolls Out with Bug Fixes and Performance Tweaks appeared first on Linux Today.

Debian Trixie is expected to enter its full freeze in August 2025, with release date discussions focusing on late July to mid-August.

The post Debian 13 Trixie Nears Stable Release: Final Freeze Set for August 2025 appeared first on Linux Today.

Falco is an open-source runtime security tool for Linux systems, built for cloud-native environments. It monitors the system in real time to spot unusual activity and possible security threats. Falco is a graduated project from the Cloud Native Computing Foundation (CNCF) and is used in production by many organizations.

The post Falco: Open-source cloud-native runtime security tool for Linux appeared first on Linux Today.

Security updates have been issued by AlmaLinux (firefox, icu, kernel-rt, libtpms, redis:6, redis:7, and sqlite), Fedora (chromium and cloud-init), Oracle (icu, java-1.8.0-openjdk, java-21-openjdk, kernel, nodejs:22, perl, and sqlite), SUSE (docker, java-1_8_0-openj9, libxml2, python-starlette, and thunderbird), and Ubuntu (cloud-init, linux-azure, linux-azure-5.4, linux-azure-fips, linux-raspi, linux-raspi-5.4, and perl).