On my way back home from teaching Agda in Padova (course notes: https://agdapad.quasicoherent.io/~Padova2026/). Cozy and quiet, spending the night on the platform at one of my favorite train stations for sleepovers :-)