# 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).

I sometimes note what happens in meatspace as well.  Such writings
might still have a thing or two to do with computing (given it is
integrated into my life) and they are tagged as [`lyf`](/tag/lyf).

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

If you are instead looking for the more formal literatures of mine,
they are listed in [my ORCID profile](https://orcid.org/0000-0003-2336-706X).