Started a new project, where I need to be loading some patient data from a database dump. Below a short summary how to install PostgreSQL and deal with it.

In the process of putting online my CV and trying to have a single version that’s good for both printing and viewing on screen, I discovered a great way to append the value of an attribute through CSS:

Trying to set up tidy URLs for my personal website, I stumbled upon the following problem. My goal was to have a document complete.html, but only use the nicer-looking /complete-URL to refer to it.

In 2021, I designed and taught an introductory course in python programming for linguists at the University of Innsbruck. I wanted to try out something different, so I decided to run the whole course over git, using fork and pull request as means to distribute and let students hand in exercises, and actions to grade them automatically.