If that sounds familiar, it’s because it’s similar to how bitcoin mining works. Anubis is not literally mining cryptocurrency, but it is similar in concept to other projects that do exactly that, perhaps most famously Coinhive and JSECoin.

I think the end result is just an internet resource I need is a little harder to access, and we have to waste a small amount of energy.

OCaml is, in many cases where fine-grained memory control is not needed, just as relevant as suggesting Rust (and probably more so).

OCaml is an amazing language! It offers an excellent balance between safety and expressiveness, thanks in particular to its advanced type system, a rich module language, objects, support for row polymorphism via objects and polymorphic variants, and user-defined effects! Its intersection of research and industry makes it, in my view, a language evolving in the right direction, carefully integrating new features to stay modern without suffering the pitfalls of too-rapid or untested adoption.