Redpanda’s official Jepsen What we fixed, and what we shouldn’t

Hey folks, I wrote this post and I'm happy to answer questions