Dude, TLA+ is +2% of our repo.
If you think AI is not crazy cool, you are def not nerding enough.
Sino, LTA ;)
Commit
3dcd11e
what's the TLA+ code for? do you have some concurrency/distributed system? or some state machine?
commit 3dcd11e
Task states, particularly heartbeats became much better.
Basically, we had 1.5million states, we reduced to less than 4k. We found a bunch of random broken states in the process.
Code -https://github.com/search?q=repo%3Adesplega-ai%2Fagent-swarm+tla&type=pullrequests
GitHubBuild software better, togetherGitHub is where people build software. More than 225 million people use GitHub to discover, fork, and contribute to over 800 million projects.