Tla+ rocks.
HOLY FUK I JUST LEARNED ABOUT TLA+ AND IT'S SO GOOD FOR AGENTIC CODING
ur telling ME that i can mathematically fact check every possible scenario of my design STATE to prevent bugs and crashes
AND IF IT FINDS SOMETHING THE AGENTS GET INSTANT FEEDBACK AND LOOP FIXING IT TILL IT ALL POSSIBLE BUGS IN THE DESIGN ARE PATCHED
LOL THIS IS OPView quoted post on X
