I am quite strict about which messages make it to a push notification on my phone. I don't like to receive notifications unless they are important or urgent. The same thing happens with emails—indeed, it's one of the few applications which have notifications enabled. However, I also don't want to... Read more
Since the start of this website (its first anniversary was a couple of weeks ago!) until recently, I have been using the static site generator Hugo. Static site generators are very useful when building relatively complex static websites, and Hugo has served me well. I have also used Lektor and... Read more
Meet DAVup! It is a simple script that will back up any contacts, calendars and to-do lists synchronized through CardDAV or CalDAV. I have always synchronized my contacts and calendars with online services to avoid losing them if something happened to my phone and to have them synchronized with my... Read more
I use stagit to show the public repositories of my Git server on the web. I chose stagit because it is a very simple and lightweight tool, which makes tinkering with the source code very straightforward (which I have been doing a bit lately) and because the resulting website is... Read more
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
