Microsoft has released a rough timeline of the upcoming features and capabilities on track for the release of Visual Studio 2015 and beyond. The tentative feature rundown for the company’s flagship developer IDE is below:
More details are available on the Visual Studio blog.
Google unveils Google Cloud Launcher
Google has announced Google Cloud Launcher to help developers reduce the time spent finding and deploying libraries. The new solution allows developers to launch more than 120 popular open-source packages configured by Bitnami or Google Click to Deploy.
The launcher provides developer tools and stacks such as Apache Solr, Django, GitLab, Node.js and Ruby on Rails.
More information is available here.
Z3 Theorem Prover released as open source
Microsoft Research’s Z3 Theorem Prover has been released as open source on GitHub under an MIT license.