InfoQ Homepage Open Source Content on InfoQ
-
IronFleet: A Methodology for Proving Distributed Systems
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.
-
Rust 1.5 Released with Cargo Install
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 A-Frame, a VR Framework
Mozilla has created and open sourced A-Frame, a framework for creating VR scenes for the desktop browser, smartphone and Oculus Rift.
-
Microsoft Open Sources Live Writer
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.
-
Best Practices for Open-source Projects
GitHub’s Phil Haack hosted a panel on Channel 9 that focused on best practices for open source projects.
-
DMTK, a Machine Learning Toolkit from Microsoft
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: Google Open Sources Their Machine Learning Tool
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.
-
Red Hat Linux Enterprise is Reference Platform for .NET Core on Linux
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.
-
Rust 1.4 Brings Major Improvement to Cargo
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 Open-sources Three Cryptographic Libraries
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: Internal Open Source at PayPal
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.
-
RoboVM Is No Longer Open Source
Following RoboVM’s acquisition by Xamarin, the company has raised the price of their offering and has closed the source code.
-
Speeding Up the Mobile Web with AMP HTML
Google has open sourced the specification for a restricted HTML that is meant to improve the mobile experience on the web.
-
Netflix’ Principles of Chaos Engineering
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.
-
Hortonworks Addresses the IoAT with DataFlow Based on NiFi
Hortonworks has quietly made available the DataFlow platform which is based on Apache NiFi and attempts to solve the processing needs of the IoAT.