throwaway832975

5 ms·

1. 1.▲
   by throwaway832975 11y ago

   Pull-based load balancing is a generally underrated technique.
2. 2.▲
   by throwaway832975 11y ago

   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.
3. 3.▲
   by throwaway832975 11y ago

   http://research.microsoft.com/pubs/132859/popularityISeveryt...
4. 4.▲
   by throwaway832975 12y ago

   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 nowher