One more thing: because big companies have reputations to preserve, their engineers often can't report "it took out data in prod".
-
-
Replying to @aphyr
I've heard a lot of horror stories from engineers over the past few years, and can only share a few of em publicly, but wow are they real.
1 reply 5 retweets 7 likes -
Replying to @aphyr
None of this should discourage folks from going out and implementing their own distributed algorithms! It's awesome to experiment and learn!
1 reply 5 retweets 2 likes -
Replying to @aphyr
But if you're going to experiment, reading these papers will help show how *hard* the problem is, and what techniques can help you reason.
1 reply 3 retweets 5 likes -
Replying to @aphyr
So when you write a new protocol, start with a proof, then a formal model, and run it through a model checker. Then you can implement it! :D
4 replies 16 retweets 28 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.