| ▲ | bsenftner 6 hours ago | |
Took 10 minutes to find this: TLA+ is a formal specification language developed to design, model, document, and verify reactive systems. | ||
| ▲ | noosphr 6 hours ago | parent | next [-] | |
TLA+ is what unit testing looks like when a mathematician designs it. | ||
| ▲ | totetsu 3 hours ago | parent | prev | next [-] | |
The LLMs used to write these things, do not start by using empathy and a theory of whats in other peoples minds. | ||
| ▲ | mkl 4 hours ago | parent | prev | next [-] | |
It takes about 5 seconds to open Wikipedia and type "TLA+". | ||
| ▲ | tosti 2 hours ago | parent | prev [-] | |
It reminded me of zombo.com but more like a slop version. | ||