Tux Machines

Do you waddle the waddle?

Other Sites

Tor Project blog

A new home for Tor user documentation

That's why we've been working to simplify how people find help using Tor.

Internet Society

Working Together for an Accessible and Safe Internet

The Internet is no longer optional infrastructure—it is essential to people’s lives and livelihoods. It connects families, drives economies, and underpins the exchange of knowledge and information across the world.

LinuxGizmos.com

LILYGO T-Echo Plus Integrates LoRa, GNSS, and IMU in Rugged Wireless Smart Tag

LILYGO’s T-Echo Plus is a compact, battery-powered smart tag designed for wireless telemetry, motion tracking, and geolocation. It combines LoRa communication, GNSS positioning, Bluetooth Mesh, and a 6-axis IMU in an enclosure with both vibration and visual feedback, aiming to support mobile, field-deployed, or remote monitoring applications.

Easy RISC-V Provides an Interactive Way to Explore the RISC-V Architecture

Easy RISC-V is an open, browser-based learning resource that allows users to experiment with RISC-V assembly and gain a deeper understanding of how the architecture works. Created by developer Dramforever, the platform runs entirely online and does not require installation, offering a convenient way to study RISC-V instructions, registers, and execution flow from any device.

DietPi October 2025 Update Adds Support for NanoPi R3S, R76S, and Reworked Dashboard

The October 18th release of DietPi v9.18 introduces support for new FriendlyELEC single-board computers, a redesigned DietPi-Dashboard with improved security, and the addition of the LazyLibrarian eBook and audiobook manager. The update also includes bug fixes, filesystem improvements, and expanded compatibility for virtual devices

9to5Linux

LibreOffice 25.2.7 Is Out as the Last Update in the Series, Upgrade to LibreOffice 25.8

While LibreOffice 25.8 has already been adopted by major GNU/Linux distributions, LibreOffice 25.2 is still supported until November 30th, 2025, for those who haven’t managed to upgrade. LibreOffice 25.2.7 is here as another maintenance update that fixes 43 bugs, according to the RC1 and RC2 changelogs.

Qt Creator 18 Open-Source IDE Released with Experimental Container Support

Coming more than four months after Qt Creator 17, the Qt Creator 18 release introduces experimental support for development containers, a feature that automatically detects a “devcontainer.json” file in a project directory and creates a Docker container for it.

Ubuntu 25.04 Users Can Now Upgrade to Ubuntu 25.10, Here’s How

Ubuntu 25.10 was released earlier this month, on October 9th, but the upgrade path was not open for Ubuntu 25.04 users until now. Of course, you could force an upgrade using the update-manager -d command, but it’s not something I would recommend because things might go wrong and you could end up with a broken system.

Tor Browser 15.0 Anonymous Web Browser Is Out Based on Firefox 140 ESR Series

Based on the Mozilla Firefox 140 ESR (Extended Support Release) series, Tor Browser 15.0 introduces many upstream features that have been implemented in the past year, including support for vertical tabs, support for tab groups, and the new unified search button that lets users easily switch between search engines, search bookmarks or tabs, and access quick actions.

news

6 Best Free and Open Source Haskell Linter Tools

posted by Rianne Schestowitz on Oct 31, 2025

code

Quoting: 6 Best Free and Open Source Haskell Linter Tools - LinuxLinks —

A linter is a tool used in software development to analyze source code for potential errors, stylistic issues, and adherence to coding standards. It essentially acts as a static code analyzer, examining the code without actually executing it. Linters help developers catch issues early in the development cycle, improving code quality and maintainability

Linters are useful tools for maintaining code quality and consistency in Haskell. They analyze code for potential issues, enforce coding standards, and help catch errors before they are pushed into production. Linters are not necessarily a quick fix, can be a distraction, and it’s not inconceivable that they may not be helpful with old, large code bases.

This article picks some useful tools to help you fix Haskell code.

Here’s our verdict captured in a legendary LinuxLinks-style ratings chart. Only free and open source software is eligible for inclusion here.

Read on

Other Recent Tux Machines' Posts

LibreOffice 25.2.7 Is Out as the Last Update in the Series, Upgrade to LibreOffice 25.8
The Document Foundation announced today the general availability of LibreOffice 25.2.7 as the seventh and last maintenance update in the LibreOffice 25.2 office suite series.
Fedora Linux 43 Officially Released, Now Available for Download
The Fedora Project officially released Fedora Linux 43 today as the latest stable version of this Red Hat-sponsored distribution, shipping with some of the latest and greatest GNU/Linux technologies.
 
AerynOS 2025.10 Released with GNOME 49.1, KDE Plasma 6.5, and GNU libstdc++
AerynOS 2025.10 Linux distribution is now available for download with the latest GNOME 49 desktop environment, Linux kernel 6.16, and more.
TrueNAS 25.10 Open-Source NAS Released with NVMe-oF, ZFS Enhancements
TrueNAS 25.10 “Goldeye” open-source NAS is out with NVMe over Fabric, 400GbE, open GPU driver support
SLES 16.0 Launches with Agama Installer, SELinux, and 16 Years of Support
SUSE Linux Enterprise Server 16.0 debuts with the Rust-based Agama installer, SELinux enabled by default
System76 CEO Carl Richell Reveals COSMIC Desktop Launch Date
System76 CEO Carl Richell has revealed the COSMIC desktop will debut on December 11, 2025
d77void – respin of Void Linux with window managers
d77void is a respin of Void Linux
Sakura Pi RK3308B SBC offers RGB LCD interface, supports mainline Linux
You’ll find a GitHub account with a few repositories (OpenWrt, buildroot, Armbian build script) for the board
6 Best Free and Open Source Haskell Linter Tools
Only free and open source software is eligible for inclusion here
This self-hosted dashboard is perfect for monitoring your Linux servers
Linux, no matter which flavor you choose, is so great for running services on because of its robustness
5 lightweight Linux distros that breathe life into old Windows 10 laptops
If your old Windows 10 laptop is starting to feel sluggish
MATE 1.28 Finally Coming to Ubuntu 26.04 & Debian Forky
For MATE users, Debian and Ubuntu are finally migrating this desktop environment to version 1.28 for Debian Testing (Forky) and Ubuntu 26.04 LTS
Arkane Linux – immutable, atomic Arch-based distribution
Arkane Linux is an opinionated
Alien-OS – Debian-based Linux distribution
Alien-OS is a German Linux distribution based on Debian
Free and Open Source Software
This is free and open source software
Adding Customizable Frame Contrast to KDE Plasma
For a while now, probably two years, I wanted to have support for high-contrast colorschemes in KDE Plasma
DietPi October 2025 Update Adds Support for NanoPi R3S, R76S, and Reworked Dashboard
The October 18th release of DietPi v9.18 introduces support for new FriendlyELEC single-board computers
Zorin 0S 18: 100,000+ Windows 10 Users Can’t Be Wrong
With performance boosts and seamless cloud connections, Zorin OS 18 is quickly becoming the top gateway for Windows refugees
Stable kernels: Linux 6.17.6, Linux 6.12.56, Linux 6.6.115, Linux 6.1.158, Linux 5.15.196, Linux 5.10.246, and Linux 5.4.301
I'm announcing the release of the 6.17.6 kernel
Qt Creator 18 Open-Source IDE Released with Experimental Container Support
The Qt Project released today Qt Creator 18 as the latest stable version of this open-source, free, and cross-platform integrated development environment (IDE) software for GNU/Linux, macOS, and Windows.
Nearly 90% of Windows Games now run on GNU/Linux
great news
Security and Windows TCO
mostly FUD and patches
GNU/Linux Leftovers
KDE and more
Debian and Ubuntu Leftovers
mostly Ubuntu
Audiocasts/Shows: Linux Matters and Destination Linux
2 new episodes
MX Linux 25 Release Candidate Arrives with Various Improvements and Changes
The MX Linux team announced today the general availability of the Release Candidate (RC1) version of the upcoming MX Linux 25 distribution based on the Debian 13 “Trixie” operating system series.
Free, Libre, and Open Source Software Leftovers
FOSS picks for today
Firefox Security & Privacy Newsletter, Mozilla Thunderbird Mobile Progress Report
Mozilla news
Programming Leftovers
Development picks
WordPress 6.9 Beta 2 and More CMS news
CMS related leftovers
Open Hardware/Modding: Raspberry Pi and More
devices and hardware news
Red Hat Leftovers
mostly from Red Hat's site
Which Tool is Best to Find Text in Files and a Look at Helix
two new articles from Valnet
today's howtos
howtos for today
Ubuntu Unity Project Faces Uncertain Future
Ubuntu Unity faces manpower shortages as lead dev Rudra has no time to maintain it
Fedora Linux 43 is here!
I’m excited to announce my very first Fedora Linux release as the new Fedora Project Leader
Ubuntu 25.04 Users Can Now Upgrade to Ubuntu 25.10, Here’s How
This is your friendly reminder that, as of today, October 29th, 2025, Canonical has opened the upgrade path for Ubuntu 25.04 (Plucky Puffin) users to the latest release, Ubuntu 25.10 (Questing Quokka).
Games: GOG Preservation Program, Civilization VII, and More
new/latest 9 from GamingOnLinux
Tor Browser 15.0 Anonymous Web Browser Is Out Based on Firefox 140 ESR Series
Tor Browser 15.0 has been released today by the Tor project as the latest stable version of this open-source, cross-platform, and free web browser designed to protect yourself against tracking, surveillance, and censorship using the Tor anonymous network.
Google’s Brotli 1.2 Released After Two Years with Faster Compression
Brotli 1.2 arrives after two years
Android Leftovers
Google revives floating windows on Android tablets, this time done right
Distrobox 1.8.2 Brings Polished Experience, New Maintainer
Distrobox 1.8.2, a containerized Linux environment, brings polish
KDE Plasma 6.5.1 Is Out to Fix Compatibility Issues with Older AMD GPUs
The KDE Project released today KDE Plasma 6.5.1 as the first maintenance update to the latest KDE Plasma 6.5 desktop environment series with various improvements and bug fixes.
IPFire 2.29 Core Update 198 Gives Major Boost to the Intrusion Prevention System
The IPFire project released IPFire 2.29 Core Update 198 today as a new stable update for this open-source hardened Linux firewall distribution that brings various improvements, updated components, and security fixes.
Austria’s military switches from Microsoft Office to LibreOffice
Like we’re seeing in Schleswig-Holstein, Denmark and many other government bodies and organisations
Kali Linux is my favorite Linux distro to play around with
After I got into the Linux ecosystem with my Raspberry Pi
My Kid's First PC Won't Run Windows—I'll Use One of These 5 Linux Distros Instead
Want your kids to use Linux but can't decide which distro makes the best introduction
This is Doom, running headless, on Ubuntu Arm… on a satellite
Doom takes place on Mars, but up until recently, it has only been played on Earth
Free and Open Source Software
This is free and open source software
Why choosing open source tools; yet another argument
Your toolbox defines your craft. The freedom to choose, evolve
Another Computer on 700+ Days Uptime [original]
GNU/Linux is a very stable platform. As long as one does not adopt the latest experimental stuff (which Wayland would qualify as), there's almost never a reason to reboot, except for kernel refresh.
Today in Techrights
Some of the latest articles
today's leftovers
with focus on GNU/Linux