I use TLA+ on a project that requires lots of compliance checks and tests. How will this product help me vibe-code the code base?
If your code is on GitHub you can use our app with it, it will create a safe independant branch "appjet" to work on it. Give it a try and let me know what you think!
I don't know how you composed this response. But it reads more like a laundry list of TLA+-related buzzwords than a response based on any kind of actual experience with TLA+.
TLA+ is a weird and obscure niche, easily obscure enough to give most models very serious headaches.
I stopped reading mid-sentence after seeing a cacophony of buzzwords shoved into that AI generated reply.
Very disappointed.
Donning-Kruger as a service. I guess that's what defines the 'serious developers' from the rest of us.