/dev/null
Sign in

Commit

d33c9b7

Ez.-@harlequinetcie
Honestly, I check people repos. In your case, I was very interesting on chatting about what you are doing with TLA+ and some ideas for things we could apply to our own OSS/MIT project. But I'm not the normal, I guess....
Nehal Hasnayeen@Hasnayeen
what are you doing with TLA+?

commit d33c9b7

E
Ez.-
Me? Just added it to check our task states and it help greatly with the heartbeats. (https://www.agent-swarm.dev/blog/tla-plus-races-agent-swarm) Younes here is the one doing the real magic with it.
agent-swarm.devA TLA+ Playbook for Your Scheduler, Queue or Retry LoopFive steps, one prompt each: model a concurrent subsystem in TLA+, calibrate it on bugs you already fixed, turn every counterexample into a failing test, and keep the spec true with a daily swarm workflow. Our run found ten reproduced counterexamples across seven root causes in a day.