Posted on 27 April 2025 Tags: openssl , information-retrieval Table of Contents: Motivation Example of the problem What is going on? What information does Google have here? What information is Google missing? What sites are prone to this? How did I fixed it for my blog? Inspecting subdomains of 257.cz Checking other search engines What to take from this? Have you ever noticed a link pointing to a…
Posted on 21 April 2025 Tags: Fedora , etckeeper Table of Contents: What does the Etckeeper plugin actually do? What has changed in DNF 5? How could be the Etckeeper LIBDNF 5 plugin implemented? Using Actions Plugin for Etckeeper integration Example of usage Next steps When DNF package manager 5 replaced DNF 4 in Fedora 41, I noticed that integration between Etckeeper and the package manager…
Posted on 25 December 2024 Tags: Fedora , ansible , git , etckeeper Table of Contents: OS Installation Post Installation setup via Ansible Etckeeper Backup Upgrading OS Reinstall or Migration Disaster Recovery In this post I’m going to give a brief overview of how I manage my personal Fedora laptop, from installation to upgrades and backups. This is indeed not very original topic, but recently I…
Posted on 2 August 2023 Tags: Fedora , Linux , btrfs , backup Table of Contents: My old backup scheme Moving to btrfs Btrfs layout and subvolume management Restoring the home volume properly My new backup scheme Exploring backup tools and future work References Last year I had to reinstall Fedora on my main machine because I had to replace a disk there, and while doing so, I finally decided to…
Posted on 29 April 2023 Tags: software-archeology , hypertext , reading-notes , pinned Table of Contents: Looking at the original design (Un)expected familiarity Kickstarting the idea Conclusion References When I was reading book How the Web was Born (which describes the history of networking, user interfaces, hypertext and other computing concepts which the world wide web is based on), I realized…
Posted on 20 November 2022 Tags: systemd , eBPF , Fedora , Linux Table of Contents: Systemd unit file Testing the service Bypassing journald Cleaning up the logs and journal For debugging purposes, I needed to figure out which processes open and change particular set of config files early during boot process. I could have used inotify and setup a watch for these files, but since I was also…
Posted on 3 April 2022 Tags: F# , Python , Ada , physics Table of Contents: Ada F# Python Conclusion References Long time ago I read an article about Ada programming language, which included a demonstration showing how to use Ada’s strong type system for checking physical units of variables in a similar way how we rely on a compiler to check common data types. However the support of dimensional…
Posted on 5 April 2021 Tags: xmonad , Haskell , Fedora Some time ago, a colleague asked me about xmonad configuration of special key handlers when he noticed I’m xmonad user as well. He was interested in as simple as possible xmonad config file which defines actions for for volume and brightness control keys found on all recent laptops. So let’s see the minimal example of such configuration I come…
Posted on 28 March 2021 Tags: Fedora , Haskell Table of Contents: Installing Hakyll on Fedora Initializing Hakyll project Building the example site Next steps Upstream installation tutorial of Hakyll static site generator shows how to use cabal or stack to get hakyll installed and build example site with it. And while the tutorial also mentions an option to use distribution packages on Debian or…
Posted on 20 October 2019 Tags: science-fiction , reading-notes , translated , backdated Once again, I’ve come across a science fiction short story whose author managed, in a certain sense, to estimate the impact of technological development possibilities surprisingly well for his time. And even though the story celebrates its 110th anniversary since first publication this year, and its author…