I know this article is a few years old but I just came across it today while searching for a nix lsp. I thought it might be an interesting issue to discuss as I don’t think much progress has been made in this space (or maybe there has and I’m living under a rock?).