Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read more
Regolith – modern desktop environment built on Ubuntu, GNOME, and i3
Looking for a new desktop environment that places emphasis on the keyboard input device over the mouse? Check out Regolith in this review.
Read more
Linux at Home – Take a break with rapid gameplay
In this series, we look at a range of home activities where Linux can make the most of our time at home, keeping active and engaged. The change of lifestyle enforced by Covid-19 is an opportunity to expand our horizons, and spend more time on activities we have neglected in the past.
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Dear Diary – Week 32
Keeping a diary of your daily life is an activity that is held dear by many people. In this week’s blog, Luke checks out RedNotebook, Lifeograph, jrnl, and Org on the Raspberry Pi 4.
Read more
Excellent Free Books to Learn Eiffel
Eiffel is an object-oriented programming language designed by Bertrand Meyer and Eiffel Software. Here’s our recommended free books to learn Eiffel.
Read more
Tartube – Watch And Download Videos from YouTube and more
Tartube is a GUI front-end for youtube-dl, partly based on youtube-dl-gui and written in Python 3 / Gtk 3. Tartube is free and open source software.
Read more
Linux at Home: Brew Great Beer with Linux
Step forward Linux software that’ll help you brew great beer. Cast aside guesswork, laborious calculations, and expensive disasters.
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Calculators – Week 31
There’s sophisticated software available for the Raspberry Pi 4 which offers the ability to process complex mathematical functions, plot 2D and 3D graphs, and much more.
Read more
Excellent Free Tutorials to Learn Chapel
Chapel is an open-source, high-productivity, parallel-programming language in development at Cray Inc., and is designed to run on multi-core PCs as well as multi-kilocore supercomputers.
Read more
Minase – SIXEL-based terminal file manager
Minase is a terminal file manager that uses libsixel, an encoder/decoder implementation for DEC SIXEL graphics. Minase is free and open source software.
Read more
Linux at Home: DIY security solutions for the home
Here’s our recommended open source solutions to create your own Linux-based surveillance system. ZoneMinder, Motion, and Kerberos.io are featured.
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Streaming radio – Week 30
For this week’s blog, Luke conducts a detailed survey of open source internet radio players that purr on the Raspberry Pi 4.
Read more
Excellent Free Books to Learn Factor
Factor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy. Here’s our recommended free books to learn Factor.
Read more
Excellent Utilities: fontpreview – search and preview fonts
Are you looking for a simple command-line tool that lets you search for fonts and preview them with no fuss and bother? fontpreview might just be the ticket.
Read more
Linux at Home: Reduce and prevent repetitive strain injury
In this series, we look at a range of home activities where Linux can make the most of our time at home, keeping active and engaged. The change of lifestyle enforced by Covid-19 is an opportunity to expand our horizons,
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Professionally manage your photo collection – Week 29
digiKam is billed as an advanced digital photo management program. Here’s my findings of digiKam on the Raspberry Pi 4.
Read more
Excellent Free Tutorials to Learn F#
F# (pronounced F sharp) is a general purpose, strongly typed, multi-paradigm programming language. Here’s our recommended free tutorials to learn F#.
Read more
Excellent Utilities: Watson – CLI tool to track time
Watson is a CLI-based open source utility that helps you track the time spent on projects. It’s free and open source goodness.
Read more
Linux at Home: Cross-stitching with Linux
In this article, we recommend some great open source software for cross-stitching. Create great patterns from image files. Simple to use.
Read more
Raspberry Pi 4: Chronicling the Desktop Experience – Typeset beautifully with LyX – Week 28
LyX is a document processor that encourages an approach to writing based on the structure of your documents (WYSIWYM) and not simply their appearance (WYSIWYG). How does it fare on the Raspberry Pi 4?
Read more