I have some blogs from my PhD days at Northeastern here.
I also had a guest post on the n-Category Cafe on category-theoretic semantics of the graduality property of gradual typing.
In lieu of blogging I mostly post on mastodon as @maxsnew@types.pl.