News for hackers. Stuff that matters.

throwaway832975

Pull-based load balancing is a generally underrated technique.
Re:Call Me Maybe: MongoDB Stale Reads on Friday April 24, 2015 @12:08PM (#9434248)
I don't know of any case in industry where TLA+ has been used to prove a spec correct. AFAIK it's only been used for model checking. Read the "Formal Methods at AWS" paper for details.
Re:Immigration is about talent, not costs on Sunday December 07, 2014 @03:18PM (#8713406)
If H1-B holders could freely change employers then I'm pretty sure that Amazon for one would be a better place to work. As far as I could tell they could only get away with treating engineers like they did because the latter had nowhere else to go (the vast majority are H1-B holders, not because of any local shortage, I suspect, but because they are so exploitable).