Dmitri Kalintsev@adrianco out of curiosity, are you seeing many folks use TLA+ specs instead or in combination with the .md files to vibecode stuff?
If not, do you have a view on what may be the limiting factor(s)?
Adrian Cockcroft@dkalintsev I haven’t seen TLA+ specs, but I bet that some of the people (at AWS?) who were already using it are experimenting with AI coding. I don’t know it well enough to try myself, but you could ask Claude if it knows TLA+ and how it could be used.