Hacker News has reported on an Android source code commit that suggests that Google’s mobile operating system is switching the implementation of their Java libraries from the original Harmony-based one to OpenJDK. The move has been confirmed by Google to VentureBeat.
A group of researchers from Microsoft has published the paper “IronFleet: Proving Practical Distributed Systems Correct” (PDF) and made available the accompanying source code demonstrating the use of the methodology in machine proving the correctness of a non-trivial distributed system from a safety and liveliness point of view.
The Rust core team has released 1.5, with around 700 changes including the introduction of cargo install and shrinking the metadata size by 20%.
Mozilla has created and open sourced A-Frame, a framework for creating VR scenes for the desktop browser, smartphone and Oculus Rift.
Microsoft has turned the Live Writer source code to the .NET Foundation inviting the community to contribute to the project now that it is in their hands.
GitHub’s Phil Haack hosted a panel on Channel 9 that focused on best practices for open source projects.
About the same time Google announced open sourcing TensorFlow, Microsoft has pushed to GitHub DMTK, a Distributed Machine Learning Toolkit. While Google has released a one-machine version of TensorFlow, DMTK runs on a cluster of machines.
TensorFlow is a machine learning library created by the Brain Team researchers at Google and now open sourced under the Apache License 2.0. TensorFlow is detailed in the whitepaper TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. The source code can be found on Google Git.
Microsoft and Red Hat announced they will bring official support to .NET runtime on Red Hat’s Enterprise Linux. According to the two companies, Red Hat Enterprise Linux will become the primary reference operating system for .NET Core on Linux.
The Rust core team has released 1.4 stable, with approximately 1200 changes including a major improvement to Cargo, stabilised APIs, and fixes to improve the behavior of associated types.
Apple has announced they have open sourced three major components in their OSes’ security subsystem. Apple’s announcement has spun some controversy due to the restrictive nature of the license used for one of the libraries.
InnerSource is the name given to a development approach that applies open source software practices to the way organizations' develop software internally. Cedric Williams, technology leader at PayPal, explained how PayPal is experimenting with InnerSource to break down silos, grow collaboration and increase productivity.
Following RoboVM’s acquisition by Xamarin, the company has raised the price of their offering and has closed the source code.
Google has open sourced the specification for a restricted HTML that is meant to improve the mobile experience on the web.
Based on their experience with arbitrarily shutting down servers or simulating the shutdown of an entire data center in production, Netflix has proposed a number of principles of chaos engineering.