To write my blog posts, I use Markdown, a useful language to write simple fragments of text. The text is then "compiled" into HTML, which is then served as a webpage. Since Markdown files are plain text files, I mostly have used plain text editors in the past to write... Read more
If you have important information on your computer, you probably back it up somehow. I used to save all my important files on Google Drive, which was convenient not only because it would make backups automatically, but because I could access my files from any computer, or even my phone... Read more
One of the things I wanted to do when switching to more privacy-respecting providers was getting rid of Google Services on my phone. According to multiple articles, your Android phone gathers a lot of data and sends it to Google. It is true that my daily routine isn't a big... Read more
Now that my website is hosted by Autistici/Inventati, I can no longer deploy it by just pushing my git repository's changes to GitLab, as I used to. In order to deploy my website, I need to access the server using the WebDAV protocol. To do so, I use davfs2—which mounts... Read more
Until yesterday, this website had been hosted by GitLab (using GitLab Pages). For some time now the fact that they used servers owned by Google bothered me, so I have been looking for a new host for a while. One possibility I looked at was paying for a virtual private... Read more