The LLMs yearn for the spines
- Earlier this year I worked on a couple of AI-generated TLA+ specifications, and one thing I've noticed was that they all used the word "spine" somewhere.
- Then I saw some non-TLA+ public projects use "spine" too and got curious if it was a new LLMism (LLisM?).
- If it is, we should see it appear in a discontinuous jump in the number of code projects that use "spine".
Unverified
- Earlier this year I worked on a couple of AI-generated TLA+ specifications, and one thing I've noticed was that they all used the word "spine" somewhere.
- Then I saw some non-TLA+ public projects use "spine" too and got curious if it was a new LLMism (LLisM?).
- If it is, we should see it appear in a discontinuous jump in the number of code projects that use "spine".
Sources: Buttondown