

0·
2 months agoEh, it works okay for me. What’s “the language server” in this case? The third party c# language server isn’t great, but I’ve had no particular issues with python, julia, lean4, rust, dafny and tla+. I can’t recommended (vs)codium because it is a monstrous memory hog, and even in its de-microsofted form it’ll be full of vide-coding, but where there aren’t good alternatives is gets a solid “it’ll do” from me.
Python at least has the advantage that there are a bunch of ides and fancy text editors out there (with varying degrees of llm integration), so if one doesn’t work for you there are alternatives. Fwiw, there are several different language servers as well, though I’m not sure how easy they are to swap in codium.
I’ve been using zed of late. It has an ai killswitch, which is good enough for my needs which are a bit less hardline than the authors of the slopware list, and also helix which is nice but a very different sort of tool.