Viewing profile — throwaway832975

throwaway832975

HN member

No profile information was provided.

comment
Comment #10064035
Pull-based load balancing is a generally underrated technique.

Sat, Aug 15, 2015, 2:03 AM UTC
comment
Comment #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 deta…

Fri, Apr 24, 2015, 4:08 PM UTC
comment
Comment #9321179
http://research.microsoft.com/pubs/132859/popularityISeveryt...

Sat, Apr 04, 2015, 4:03 PM UTC
comment
Comment #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 treatin…

Sun, Dec 07, 2014, 8:18 PM UTC