| | How Amazon Web Services Uses Formal Methods (brooker.co.za) |
| 25 points by patrickxb on March 30, 2015 | past | 3 comments |
|
| | Snark, Chord, and Trust in Algorithms (brooker.co.za) |
| 11 points by kushti on March 25, 2015 | past |
|
| | Electoral Trouble in Sybilania (brooker.co.za) |
| 4 points by mjb on March 4, 2015 | past |
|
| | Does Bitcoin Solve Byzantine Consensus? (brooker.co.za) |
| 8 points by SirOibaf on March 1, 2015 | past |
|
| | A Quiet Defense of Patterns (brooker.co.za) |
| 41 points by SirOibaf on Feb 1, 2015 | past | 24 comments |
|
| | [dupe] Ice Cream and Distributed Systems (brooker.co.za) |
| 1 point by dmitrig01 on Jan 15, 2015 | past |
|
| | Make your program slower with threads (brooker.co.za) |
| 203 points by bbgm on Dec 7, 2014 | past | 47 comments |
|
| | Two Farmers and Common Knowledge (brooker.co.za) |
| 10 points by mjb on Nov 30, 2014 | past | 1 comment |
|
| | Exactly-Once Delivery May Not Be What You Want (brooker.co.za) |
| 47 points by luu on Nov 16, 2014 | past | 10 comments |
|
| | Ice Cream and Distributed Systems (brooker.co.za) |
| 90 points by mjb on Oct 25, 2014 | past | 5 comments |
|
| | The Essential Barbara Liskov (brooker.co.za) |
| 8 points by mjb on Sept 21, 2014 | past |
|
| | The power of two random choices (load balancing) (brooker.co.za) |
| 1 point by LiveTheDream on Aug 25, 2014 | past |
|
| | The space between theory and practice in distributed systems (brooker.co.za) |
| 72 points by bbgm on Aug 10, 2014 | past | 11 comments |
|
| | CAP and PACELC: Thinking More Clearly About Consistency (brooker.co.za) |
| 4 points by mjb on July 19, 2014 | past |
|
| | CAP and PACELC: Thinking More Clearly About Consistency (brooker.co.za) |
| 1 point by mjb on July 17, 2014 | past |
|
| | Two traps in iostat: %util and svctm (brooker.co.za) |
| 3 points by mjb on July 5, 2014 | past |
|
| | The Operations Gradient: Improving Safety in Complex Systems (brooker.co.za) |
| 1 point by mjb on June 29, 2014 | past |
|
| | Viewstamped Replication: The Less-Famous Consensus Protocol (brooker.co.za) |
| 54 points by mjb on May 20, 2014 | past | 2 comments |
|
| | Viewstamped Replication: The Less-Famous Consensus Protocol (brooker.co.za) |
| 1 point by mjb on May 20, 2014 | past |
|
| | The Essential Nancy Lynch (brooker.co.za) |
| 16 points by luu on May 11, 2014 | past |
|
| | Failure Detectors, and Non-Blocking Atomic Commit (brooker.co.za) |
| 1 point by luu on April 14, 2014 | past |
|
| | Are volatile reads really free? (brooker.co.za) |
| 2 points by luu on April 1, 2014 | past |
|
| | The Essential Leslie Lamport (brooker.co.za) |
| 1 point by mjb on March 31, 2014 | past |
|
| | Latency lags bandwidth (brooker.co.za) |
| 2 points by luu on March 10, 2014 | past |
|
| | Snark, Chord, and Trust in Algorithms (brooker.co.za) |
| 4 points by mjb on March 8, 2014 | past |
|
| | Distributed Consensus: Beating Impossibility with Probability One (brooker.co.za) |
| 47 points by mjb on Jan 12, 2014 | past | 2 comments |
|
| | Restricted Transactional Memory on Haswell (brooker.co.za) |
| 1 point by mjb on Dec 17, 2013 | past |
|
| | Hardware Lock Elision on Haswell (brooker.co.za) |
| 80 points by mjb on Dec 15, 2013 | past | 4 comments |
|
| | C++11's atomic and volatile, under the hood on x86 (brooker.co.za) |
| 1 point by tjaerv on Sept 26, 2013 | past |
|
| | The benefits of having data: HDD failures and temperature [2012] (brooker.co.za) |
| 1 point by tjaerv on Sept 23, 2013 | past |
|
|
| More |