Interesting to see the Language Server Protocol grow, now supporting over 20 PLs: https://github.com/Microsoft/language-server-protocol/wiki/Protocol-Implementations#language-servers (often wrapping existing tools)
Related Posts
One interesting consequence of the rise of LLMs: there's more demand for tools that handle untrusted input.
Arbitrary HTML+JS can be safely run in a browser. Lean can check an arbitrary proof.
These work really well with an LLM that can be wrong, but sometimes gives exactly what you want. Are there other tools in this family?
It's odd that games often show the hours played, but I've not seen this in other apps.
"You've spent 20 hours talking to this person." Would this be a usage deterrent? If so, why do many games offer it by default?
The Matter protocol is excellent for puns.
"Does it Matter? It doesn't Matter."