At the GoingNative 2012 event, Microsoft announced publication of the C++ AMP open specification under the Microsoft Community Promise license.
"This release means compiler developers and vendors now have the ability to implement C++ AMP in their compilers, just as Microsoft has done, broadening access for C++ developers everywhere to the possibilities offered by heterogeneous hardware," Micorosoft stated.
Adding, "Microsoft supports and encourages anyone to implement the C++ AMP open specification on any platform, and we are actively working with interested parties already," the company said.
If you are a compiler, hardware, or operating system vendor who is interested in C++ AMP support for your platform, download C++ AMP open specification using this link (pdf).
Also, Microsoft Research has created a tool called "boogie," which is intended as a layer on which to build program verifiers for other languages.
Try boogie in your browser at: http://rise4fun.com/Boogie/McCarthy-91
Now use it in a sentence: Use boogie, along with Spec#, to highlight semantic errors like precondition violations.
To read more about Boogie, check this pdf.
Also, Windows Azure Toolkit for Social Games released version 1.2.2 adds significant performance increases, improved stability, and now uses Autofac for dependency injection.
Additionally, as part of this release, Microsoft moved the toolkit Github - this allows you to easily fork, clone, and contribute back to the toolkit in the same fashion you can with the open sourced Windows Azure SDKs.
Those new, Windows Azure Toolkit for Social Games makes it easier for developers to quickly build social and casual games using Windows Azure. Core features of this toolkit are:
- Samples Games (Tic-Tac-Toe and Four in a Row)
- Authentication with ACS (Access Control service)
- Game Friends
- User Profiles
- Invites and Notifications
- Tests for both server and client code