Hacker Newsnew | past | comments | ask | show | jobs | submit | kobybecker's commentslogin

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


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: