Thursday, June 01, 2017

[Links of the Day] 01/06/2017 : Istio microservice mesh , encrypted p2p network, formally proven system still vulnerable to bugs

  • Istio : this is a fantastic project, it allow an efficient delivery of micro service infrastructure without tying the developer to a language specific framework. It relies on data plan using the Envoy proxy for managing and mediating all communication as well as a control plane for managing and enforcing proxy policies. 
  • CJDNS : encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing. This provides near-zero-configuration networking, and prevents many of the security and scalability issues that plague existing networks. [github]
  • An Empirical Study on the Correctness of Formally Verified Distributed Systems : Spoiler alert, even formally verified project can fall prey to bugs. And it seems that these bugs can seriously affect real systems in the wild. Well looks like that human in the loop is the weakest link in the production of robust systems after all.