Post #1653288
2026-04-24 21:56 UTC
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 :-)
Replies (1)
-
@Mr0@privacysafe.social 2026-04-25 03:22
@iblech@mathstodon.xyz I don't know if this is sarcasm or not but is either way, I like it lol