this post was submitted on 16 Oct 2026
1 points (50.4% liked)
Linux
15213 readers
1032 users here now
A community for everything relating to the GNU/Linux operating system (except the memes!)
Also, check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
A good language server / ide will also complain about incorrect types. That specific example is a deterministic process, no llm is required for it at all.
We do use one. But, in practice, they can't catch a lot of things which AI will
At least in our case too based on what's available, it also can't check stuff like coding style well (but our development relies on that less).
Some might though
I find that very hard to believe, if you're truly just talking about typing. If this is true you're using an awful language server / linter / whatever.
Coding style is also a deterministic process, for which every widely used language has a linter or formatter or whatever. Also no LLMs needed.
As a professional software developer of 8 years, I honestly have no idea what you're talking about
This is Lua code. LuaLS is basically the language server available.
And sorry, I should have said "dynamically typed". But, weak tables.
There's a lot of things that don't get caught, such as concatenating a boolean which causes a lua error in our environment. LuaLS won't catch that.
Formatting isn't a problem for us, but it does affect the kernel. But, the VSCode one we use does a lot of weird things honestly.