blog update: about me
The confirmation of my CLT 2022 lecture triggered me to add more ‘about me’ to my blog.
Originally I wanted to add static-site support to add a separate ‘about me’ page, but this would need a more sophisticated concept. So my intermediate solution was to just hard code a banner with a short introduction.