Tux Machines

Do you waddle the waddle?

Other Sites

news

Programming Leftovers

posted by Roy Schestowitz on Sep 13, 2024

  • QtVector Graphics in Qt 6.8

    Two-dimensional vector graphics has been quite prevalent in recent Qt release notes, and it is something we have plans to continue exploring in the releases to come. This blog takes a look at some of the options you have, as a Qt developer.

  • QtReducing Binary Size of Qt Applications with Qt 6.8 - Part 1

    In Qt 6, we approach this challenge with a few enhancements under the hood, and additional information in the Qt documentation on how to use Qt build tools to achieve reductions in binary sizes and better runtime behavior.

  • KDAB From Integration to Deployment: A CI/CD Primer

    Adopting proven practices like continuous integration (CI) and continuous deployment (CD) is a key part of modern software design.

  • Hackaday 2024 Tiny Games Contest: A Flappy Seagull Game With Sound In Only 500 Bytes

    It was probably a reasonable assumption that the “Tiny” in our recently concluded Tiny Games Contest mostly referred to the physical footprint of the game. And indeed, that’s the way most of the entries broke, which resulted in some pretty amazing efforts. [Anders Nielsen], however, took the challenge another way and managed to stuff a seagull-centric side-scroller into just 500 bytes of code.

  • Modus Create LLCReflecting away from definitions in Liquid Haskell

    In this post, I will discuss the contributions I made during my internship to Liquid Haskell (LH), a tool that makes proving that your Haskell code is correct a piece of cake.

    LH lets you write contracts for your functions inside your Haskell code. In other words, you write pre-conditions (what must be true when you call it) and post-conditions (what must always be true when you leave the function). These are then fed into an SMT solver that proves your code satisfies them! You may have to write a few lemmas to guide LH, but it makes verification easier than proving them completely in a proof assistant.

  • Shell/Bash/Zsh/Ksh

    • Julia EvansReasons I still love the fish shell

      I wrote about how much I love fish in this blog post from 2017 and, 7 years of using it every day later, I’ve found even more reasons to love it. So I thought I’d write a new post with both the old reasons I loved it and some reasons.

      This came up today because I was trying to figure out why my terminal doesn’t break anymore when I cat a binary to my terminal, the answer was “fish fixes the terminal!“, and I just thought that was really nice.

    • Redowan DelowarShell redirection syntax soup

      I always struggle with the syntax for redirecting multiple streams to another command or a file. LLMs do help, but beyond the most obvious cases, it takes a few prompts to get the syntax right. When I know exactly what I’m after, scanning a quick post is much faster than wrestling with a non-deterministic kraken. So, here’s a list of the redirection and piping syntax I use the most, with real examples.

  • SaaS/Back End/Databases

    • PostgreSQLAnnouncing E-Maj 4.5.0.

      We are very glad to announce the 4.5.0 version of E-Maj.

      This version brings the PostgreSQL 17 version compatibility. The emaj extension installation and uninstallation have been enhanced (Many thanks to David Wheeler for his valuable help on this topic). Aside a few bug fixes, it is now possible to monitor the changes recording activity with a new CLI command, emajStat.pl, and a new "Activity" page in the Emaj_web client.

      E-Maj 4.5.0 is compatible with Postgres 11 to 17 versions.

Other Recent Tux Machines' Posts

Elementary OS 8 continues the tradition of a beautiful, user-friendly desktop
If you're a fan of Elementary OS, then get excited because the latest major version has arrived with extra privacy and more
I think the donation notification works
A few months ago, I blogged about a change for Plasma 6.2 to show a once-a-year system notification asking for a donation, starting on December 1st
Cinnamon Desktop 6.4 Released with New Look
A new version of the Cinnamon desktop environment has been tagged for release – a sure-fire sign that the Linux Mint 22.1 beta is on the way
Nitrux 3.8 “db” Released Packed with Performance Boosts
The immutable systemd-free distro Nitrux 3.8 is out, featuring Linux kernel 6.12, improved boot time, enhanced NVIDIA support, and more
Armbian 24.11 Released with Support for OrangePi 5 Max and Radxa ROCK 5B+
The Armbian team announced today the release and general availability of Armbian 24.11 as a major update aimed at enhancing functionality and expanding hardware support of this Debian and Ubuntu-based distribution for ARM devices.
Games: Vulkan Upgraded, Discord With Wayland, Lutris Release
Latest 8 articles from GamingOnLinux
EasyOS Scarthgap and Daedalus 6.4.4 releases
Bringing both of these to the same version number
Linus Torvalds Announces First Linux Kernel 6.13 Release Candidate
Linus Torvalds announced today the general availability for public testing of the first Release Candidate (RC) development milestone of the upcoming Linux 6.13 kernel series.
NixOS 24.11 Released with GNOME 47 and KDE Plasma 6.2, PipeWire by Default
The developers of the independent distro NixOS, whose set of packages can be used on other GNU/Linux distributions, released today NixOS 24.11, a major update that introduces support for recent technologies and other changes.
IPFire 2.29 - Core Update 190 is available for testing
The upcoming release of IPFire is ready to be tested by you, our awesome community
 
This Is the Default Theme of Debian GNU/Linux 13 “Trixie”
The Debian Project unveiled today the default theme of the next major Debian operating system release, Debian GNU/Linux 13 “Trixie,” made by Elise Couper.
10 Ways To Harden Your Linux Containers Against Attacks
Learn practical strategies for protecting containerized applications on Linux
The best way to make a decision is to decide
Making decisions in an open source community is hard
"Ceratopsian" will be the default theme for Debian 13
The theme "Ceratopsian" by Elise Couper has been selected as the default theme for Debian 13 "trixie"
Games: The best GNU/Linux distribution for gaming in 2025 and many gaming news
Latest from GamingOnLinux
Android Leftovers
Xiaomi 15 and 15 Pro are the most popular newly launched Android flagships
Free Software Supporter -- Issue 200, December 2024
Welcome to the Free Software Supporter, the Free Software Foundation's (FSF) monthly news digest and action update
The Licensing and Compliance Team is fighting for freedom and we need your help
The Licensing and Compliance Lab has been diligently serving the free software community
RustDesk 1.3.3 Introduces Mobile Clipboard Support
RustDesk 1.3.3 open-source remote desktop adds mobile clipboard
December Steam Client Update Enhances Game Recording
December Steam Client Update
Lernstick – secure and mobile learning and working environment
Lernstick offers secure and mobile learning and working environment so that private devices can also be used for school purposes
Dolphin Emulator Will Get Faster Updates on Linux With Flatpak
Dolphin now maintains official Flatpak repositories, making it far easier for Linux gamers to install and run the latest versions of the Dolphin emulator
Best Free and Open Source Software
Kobold aims to offer easy declarative web interfaces
Br OS – Brazilian Linux distribution
Br OS is a Brazilian Linux distribution based on Kubuntu, sporting the KDE Plasma desktop
SUSE Renames Several Products for Better Name Recognition
SUSE has been a very powerful player in the European market, but it knows it must branch out to gain serious traction. Will a name change do the trick
You can test all the best Linux distros right in your web browser with this site
If you've ever wanted to see what Linux was all about but didn't want to go through the steps of installing it
openSUSE Empowers Creative Professionals
For many creatives, Photoshop is the go-to application for photo editing and graphic design
Fedora Linux Flatpak cool apps to try for December
This article introduces projects available in Flathub with installation instructions
Today in Techrights
Some of the latest articles
today's leftovers
applications and more
Audiocasts/Shows: LINUX Unplugged, This Week in Linux, and More
3 new shows/episodes
Games: Dolphin Emulator, Godot, and NES
gaming related news
Free, Libre, and Open Source Software Leftovers
FOSS picks for today
Security Lefttovers
Security related links
Programming Leftovers
Development related picks
Red Hat and Fedora Leftovers
Red Hat mostly
Latest Canonical/Ubuntu Announcements
Canonical/Ubuntu leftovers
Open Hardware: ESP32, Raspberry Pi, SparkFun, and More
some hardware picks
Arduino and Elektrobit Boost Proprietary AWS
not so good
today's howtos
very large batch for today
Nitrux 3.8 Released with Linux Kernel 6.12, Better Support for NVIDIA Users
Nitrux developer Uri Herrera announced today the release and general availability of Nitrux 3.8 as the latest stable version of this immutable and systemd-free distribution derived from Debian GNU/Linux and built on top of the KDE Plasma desktop environment.
Repairability Isn't Enough: Why I'm No Longer Supporting Software Freedom Conservancy
As a result, I have decided not to renew my membership
Android Leftovers
YouTube TV for Android gets resizable PiP-style miniplayer
Why Copyleft Matters
Have you ever wondered who controls the software you use? In a world increasingly reliant on software, the answer to this question is more crucial than ever and has profound implications for our freedom
Zoo elephants get a musical toy to enrich their lives | Arduino Blog
An Arduino Mega 2560 board plays the tones through a DY-SV5W media player module, which outputs an audio signal to an outdoor speaker system
Security Leftovers
and more
HandBrake 1.9 Adds Support for Lossless VP9 Encoding, Intel QSV VVC Decoder
HandBrake 1.9 was released today as a major update to this open-source, cross-platform video transcoder application that brings new features and improvements.
ClamAV: The Best Malwarebytes Alternative for Linux
Malwarebytes isn’t available for Linux, but ClamAV is a reliable alternative
DreamQuest N100 Mini PC Running Linux: Power Consumption
For this instalment in the series, we examine the power consumption of the DreamQuest N100 Mini PC and compare it to four other machines
Free and Open Source Software
This is free and open source software
Qt Creator 15 Open-Source IDE Released with Axivion Support, New Themes
The Qt Project released today Qt Creator 15 as the latest stable version for this open-source, free, and cross-platform IDE (Integrated Development Environment) for GNU/Linux.
Kate - 1500 accepted merge requests!
I just looked at our GitLab page today and thought
5 Linux commands for locating system slowdowns fast
If you've ever experienced a system slowdown on Linux
Today in Techrights
Some of the latest articles
today's leftovers
BSD, Debian, and FOSS
Applications and HowTos
not only FOSS
Open Hardware and Mobile Stuff
on the hardware side of things
GNU gettext 0.23 and Unifont 16.0.02 Released
Two GNU releases
Programming Leftovers
Development picks, a handful for now
EasyOS 5.8.2 released
I have uploaded version 5.8.2
9to5Linux Weekly Roundup: December 1st, 2024
The 216th installment of the 9to5Linux Weekly Roundup is here for the week ending on December 1st, 2024.
Android Leftovers
What Happened to the Android One Program
Clapgrep: An Easy-to-Use Open Source Linux App To Search Through Your PDFs and Text Documents
Want to look for something in your text documents? Use Clapgrep to quick search for it
Not Sure If You'll Like Linux? Try It From Your Browser
As a long-time Linux user, I enjoy encouraging others to try it
25 Must-Have Apps for Fedora Linux Users
Maximize your Fedora experience with this comprehensive guide to the top 25 apps
Free and Open Source Software
This is free and open source software
Review: AnduinOS 1.0.1
AnduinOS is an Ubuntu-based distribution featuring the GNOME desktop environment
Audiocasts: Free Software Security Podcast and Banned C++ Contributor Andrew Tomazos Speaks Out
A pair of new picks
Debian Developers'/Development Updates: Guido Günther, Colin Watson, Sandro Knauß, and Junichi Uekawa
or IRL updates
today's howtos
some howtos for Monday
Xfce 4.20 Pre2 Released
Dear Xfce community, I am happy to announce the release of Xfce4.20 pre2
Games: Proton 9.0-4 Beta, Steam Deck-Compatible Titles, and Veloren
3 picks for now
Today in Techrights
Some of the latest articles
GNU/Linux, SUSE, and Oracle
today's leftovers