Mostly on sr.ht, but sometimes also here.

https://patrick.sirref.org

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

Professor of Planetary Computing, University of Cambridge.