ocaml-lsp VS gotosocial

> There is no alternative to Django, for instance.

https://aantron.github.io/dream/, which is new and used by ocaml.org

> No serious IDE, except emacs

and vim, and visual studio, and whatever else supports the LSP protocol via https://github.com/ocaml/ocaml-lsp

> The standard library was so lacking that there is at least an alternative.

While janestreet does have an publish their own stdlib, I personally try to stick to the stdlib whenever possible. Not to knock janestreet. I'm glad they're around and have contributed a bunch.

But overall I agree with you. It's been my favorite language two write in for years now. You can't just reach for off-the-shelf libraries for every little thing. Although the ones that do exist tend to be written halfway decently.

Merlin is great, but it's vim plugin leaves a bit to be desired (in particular, it doesn't seem to use any of the modern async apis from vim 8+/neovim). Personally ocaml-lsp (which is still backed by Merlin on the backend) together with neovim's built-in lsp support has been far smoother for me

Perhaps the README[1] is out of date, but it appears to note that textDocument/implementation is not done? That's a pretty big hole.

[1]: https://github.com/ocaml/ocaml-lsp/#features

Short answer: yesWith https://marketplace.visualstudio.com/items?itemName=ocamllabs.ocaml-platformand https://github.com/ocaml/ocaml-lspand https://dune.readthedocs.io/en/stable/and utop

This is the one I tried and seems well supported - https://github.com/ocaml/ocaml-lsp . I've only started very lightly playing around with ocaml. It seems to be working fine on vscode and seems to do as expected on nvim too, at least as far as I configured nvim for it.

Typically I would recommend using https://github.com/ocaml/ocaml-lsp which is now the main OCaml language server, and VSCode with the OCaml Platform extension, a combo I know works well.

You might also look into ocaml-lsp for inspiration. Not everything will carry over to SML but it might help somtimes.

Honestly if a server allows free login, then it shouldn't matter how the donations are spent, the admins are probably at a loss anyway. I've seen large phpBB forums run on donations for a long time, so maybe federated socials can work too. One unfortunate thing I've noticed from running a single-user GoToSocial instance is that it consumes a lot of storage, I'm getting 8Gb just from myself and the instances I follow. This could be brought down with more agressive cache settings, but it still shows that people using these new social media still have habits from Twitter or Reddit, where bandwidth and storage is paid for by advertisers, and don't realize how many gigabytes they're casually moving around. I really hope this won't be the downfall of the Fediverse.

I'll be starting my own instance of the fediverse, something for myself and family only. I'll start with gotosocial, and add a reddit like alternative too, but haven't decided between kbin or lemmy yet. Maybe I'll add pixelfed down the line.

gotosocial is easy to install and easy to use, but you need 3rd party apps on your phone or computers to use it properly. Another option is snac2, you need to compile it manually but it is easy to use once compiled. Its web interface is kinda outdated, but it is usable as it is. Both are very light on resources, and can be installed on $4 vps.

[2] https://github.com/superseriousbusiness/gotosocial

GotoSocial would be another option (also in Go with SQLite backend.) Although you'll need a front-end because it doesn't ship with one.

https://github.com/superseriousbusiness/gotosocial

Not sure if you only want Mastodon. If not, I am running https://github.com/superseriousbusiness/gotosocial on a CPX11 Hetzner instance which costs 5.18 euros/month. Am hosting a few other things, but CX11 instance for 4.51 euros/month will also do well.

The main one is how they handle keys[1] which broke federation with Pleroma for a while. There's also some weirdness with their HTTP signing which breaks Honk follow requests but I'm still tracking that down.

[1] https://github.com/superseriousbusiness/gotosocial/issues/11...

Compare mastodon, pleroma, misskey, friendica, gotosocial, pixelfed, peertube (https://github.com/superseriousbusiness/gotosocial) and their main forks.

As u/riffic mentioned, Mastodon is quite heavy. But since mastodon follows (mostly) standard protocols, you can host an alternative. I’m really interested in Gotosocial, which is written in Go so it can run on a cheaper VPS. But it doesn’t seem to support all features (which will be a common thing with alternatives).