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 more concepting. So my intermediate solution was to just hardcode a banner with a short introduction.