[Serow225]

Has anyone approached Jepsen about running an analysis on the Erlang Ra implementation? I believe they've been running Jepsen tests internally, just curious if they're thinking about getting an official analysis at some point. Thanks for all that you folks do!! * https://github.com/rabbitmq/ra

[aphyr]

No, we haven't talked yet, but I would like to someday. :)

[e_proxus]

Would love for Jepsen to take a stab at Erlang’s Mnesia database as well!

[kungfooguru]

Not really worth it since distributed mnesia is basically CA (in terms of CAP) which shouldn't be a thing, but is in the case of mnesia :)