In this post I demonstrate how I increased my productivity with the help of focus tools. They automatically reserve focus time periods in my calendar and automatically trigger my operating system’s focus mode on and off, based on the calendar events. Introduction In my daily work life, it is difficult to allocate time slots where … Read more
I explain how using Large Language Models (a form of AI) can boost your shell productivity. The basic idea is to have LLMs generate shell commands or scripts, rather than researching them with traditional approaches (such as a search engine). I discuss the advantages and disadvantages of LLMs over classic research approaches. I conclude by … Read more
In this article I present over 20 useful keyboard shortcuts and commands that boost your shell productivity (Terminal). Links to the source materials are provided, with tips for reducing mental load caused when trying to adopt too many shortcuts at once. Introduction In my Digital tool efficiency article, I discussed why many people use their … Read more
This guides provides ideas and techniques for using your digital (software) tools more efficiently (via keyboard shortcuts) and effectively (by discovering useful features). I present a 3-step process that starts with collecting the digital tools you use, then researching efficiency/effectivity tricks, and finally adopting them in daily life. Introduction Knowledge work today makes heavy use … Read more
It is possible to download video and audio streams from streaming platforms, using third-party tools. You need these tools if the streaming site does not officially support downloading. This article focuses on the powerful tool named youtube-dl. It explains the compatible graphical user interfaces Downline and YDL-UI. They make it easy to download videos (or … Read more
This article explains reasons why you should replace Google Android apps with alternatives – most notably to protect your privacy. I’ll point out how to change privacy-related settings on Android, and provide replacements for Maps, YouTube, Gmail, Find My Device, and Gboard. For other apps like Chrome or Drive, and replacing Google’s services in general, … Read more
This article explains reasons why you should replace Google services with alternatives – most notably to protect your privacy. I will review possible replacements for Google’s most used services on desktop devices, Chrome, Drive and Gmail, including mail, calendar and contacts synchronization. I will also cover a few other services, like Google Keep and Hangouts. … Read more
With Windows 10 it is no longer strictly necessary to install antivirus or firewall products by third party vendors. While this used to be good practice for Windows 7 and earlier, Windows 10 already contains malware protection and a firewall that provides sufficient protection. Avoiding third party products saves you money and avoids that your … Read more