Revisiting Mastodon
After my recent article on Bluesky something rather unexpected happened. I noticed a link to an interesting post on Mastodon and when I signed in to check it...
Recent Posts
Bluesky
Remember me trying out Mastodon a while ago? Well, it didn’t stick. For various reasons.
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