Hi.
For several years now, I have been trying to publish interesting content. My articles are mostly about functional programming languages such as Coq or Haskell.
If you like what you read, have a question or for any other reasons really, you can shoot to this blog mailing list (see the annoucement for a guide on how to subscribe).