# Web Logs

I occasionally blog about functional programming, lambda calculus
and other computational stuff, or anything related to computers in general.
These write-ups are tagged as [`fun`](/tag/fun).

As usual, the good old [RSS feed](/feed.xml) is available.

If you are instead looking for the more formal literature of mine,
they are listed in [my ORCID profile][].

[my ORCID profile]: https://orcid.org/0000-0003-2336-706X