Does anyone in industry use a 'model checker' like this while writing multi-threaded C++ code? Just curious..

Hah! That cracked me up

Interesting. It looks like a much harder problem to solve in the United States because of the sheer size of this country. http://www.sarmonster.net/UK.htm

What does Yale have anything to do with this guy's actions?

Because being a Yale alum is how he had the rolodex to get these loans.

bingo

Super Premium :-) I think the way we think about it here is: Azure "Premium" Storage as opposed to the regular Storage offering we have. Having said that, our naming could have indeed been better.

Disclaimer: msft engineer with Azure Storage