[Links of the day] 03/02/2016: Verifying distributed system and technical progress prediction

• Predictability of technological progress : the authors present a technique that allows to make forecasts for any given technology. In layman terms, it can to a certain extend determine if the diffusion speed of a technology and hence its success. 
• Psync : really nice DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds. It allows to create verifiable code of distributed system straight from scala . [morning paper summary]
• The Verification of a Distributed System : provide with an overview of most commonly used techniques for distributed system verification out there.