While I think the atmosphere could be a lot more co-operative and cordial, I think a lot of good work has been done anyway. The post may have attacked a straw m

While I think the atmosphere could be a lot more co-operative and cordial, I think a lot of good work has been done anyway. The post may have attacked a straw man view that you've already discarded, but there's no denying that everyone's gotten a potentially very useful tool out of it :D This is personal opinion, of course, but I think Redis would be better served by not striving to make formal guarantees of any sort. Instead it could continue to provide primitives while staying fast and stable. Heuristics should be acceptable and gradually improved as more approaches become feasible. This seems to be the approach being taken right now - I'm hoping you and everyone else can let that be.