Eh, 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.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies: