Blog

This is the blog section of this website. It is an heritage of the old wiki I maintained before switching to a static website generated with hugo, so articles before 2021 can be a little short and are more like notes than regular articles.

2023

2022