Thanks for the link! I am not familiar with the company but reminds me of the whole formal methods debate in distributed systems. Sure, writing TLA+ specs is the 'correct' deterministic way to build a Raft implementation, but in reality everyone just writes messy Go/Java and patches bugs as they pop up because its faster.
Neat, thanks for the link! Seems like the agent feedback loop made a big difference for your use case. Would be interesting to see how much of a difference more advanced methods (like the genetic algs you mentioned) would make
We've found that these frameworks do well for systems performance problems and expect that the range of problems for which they apply will increase as they models and frameworks improve. See our paper (https://arxiv.org/pdf/2510.06189) for more discussion about this
That's a good point! The load balancing of the original algorithm was already quite good so our goal was to try to get something that could achieve similar results but could run faster since runtime was also a concern.