Comment by bsenftner
1 month ago
Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
1 month ago
Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
TLA+ is what unit testing looks like when a mathematician designs it.
The LLMs used to write these things, do not start by using empathy and a theory of whats in other peoples minds.
It reminded me of zombo.com but more like a slop version.
It takes about 5 seconds to open Wikipedia and type "TLA+".