José Valim

This is awesome and looks great @lackac! I will leave your pull request open here for others looking for solutions, however, I won't merge it so we don't spoil it...

Is there a benefit to have all of them through the same supervisor? Wouldn't it be better if every application that needs to spawn in remote nodes create their own,...

I referenced the wrong issue in the commit. :D

I did not decide on this yet because we already have the `:rpc` module and `Task.Supervisor`. I understand the benefits of `Task.Node` but they seem to be too small to...

Thanks for the write up @keathley! I am not that familiar with stateful checking so please take my feedback with a grain of salt. The examples above seem to have...

@keathley re: preconditions vs state, thanks for the clarification. > Here's a quote from "QuickCheck Testing for fun and profit" that I think sums it up nicely Great job digging...

> I also wanted to mention that I am still not sure about this approach of having precondition and postcondition for each command is not more repetitive than having precondition/postcondition...

Thanks @alfert for the input! > We do not need to return a tuple, since there is no reason to return something instead of :ok I returned a tuple because...

> Just to give an example where this matters: In an extension of the Redis example we could implement a flush command, which drops the entire database. This means that...

> Good to hear that! Seems that I should to be at least a lurker at IRC (where I never was before...) to be up to date :) Btw, I...