| ▲ | baq 2 hours ago | |
hint: if you have an UI, you might be surprised what TLA+ can do for you. if you have a nontrivial SPA, expect to be humbled. | ||
| ▲ | ndr 42 minutes ago | parent [-] | |
Do you happen to have any intuition pump here? Any term of art or class of tests to throw LLMs at to get a sense for these? | ||