Bluesky
Remember me trying out Mastodon a while ago? Well, it didn’t stick. For various reasons.
Recent Posts
Curbing My Email Mania
In the end, there can be only one. – Highlander
Learning OCaml: Verifying tail-recursion with @tailcall
How can you be sure that an OCaml function you wrote is actually tail-recursive? You can certainly compile the code and look at the generated assembly code, ...
2023: The Year in Review
Life can only be understood backwards; but it must be lived forwards. – Søren Kierkegaard
A Bad Year for Blogging
Last year (2022) I celebrated a rather unexpected all time blogging record. As it often happens in such cases, however, there was a massive drop in my bloggi...