Is anyone using even a tiny on-device language model for spelling? For grammar, I could almost imagine it.
But this also bans "simple" AI-powered auto-complete, like Zed's Zeta2 model. This is a very conservative model that rarely tries to propose more than a few obvious lines (at least in my use cases). If a developer accepts a three-line autocomplete that introduces a bug, that's kind of on them. Honestly, about the only thing that Zeta2 is good for is reducing the risk of RSI.
To be fair, it's also their project, and I completely support their right to set whatever policies they want.
The is not exactly my point.
I am speaking of spelling/grammar checkers are part of the IDE and/or OS.
You'd have to know your IDE and/or OS's implementation details to know you are not using an LLM based one.