lthms’ Blog

Writing and programming are two important parts of my life, maybe because they are very similar. In this small corner of the Internet, I gather my articles about computer science. I write mostly about functional programming languages, in particular Haskell and Coq.

Here

This blog has its own mailing list! You can send an email to ~lthms/lthms.xyz+subscribe@lists.sr.ht, to subscribe, and to ~lthms/lthms.xyz+unsubscribe@lists.sr.ht to unsubscribe. There is also an RSS feed you prefer.

And there

Mastodon