Michael's Morning Wrap - 5 June 2017

Welcome to this weeks wrap.

Unfortunately a bit late due to a busy week

• Fonseca: “An empirical study on the correctness of formally verified distributed systems”
• Erin Atwater: Netsim is a simulator game intended to teach you the basics of how computer networks function, with an emphasis on security. You will learn how to perform attacks that real hackers use, and see how they work in our simulator!
• Brandon Rhodes: Tutorial on Sphinx from Pycon
• Adrian Coyler: The Morning Paper on Operability
• Ethan Banks: Slides from Interop ITX: The Future of Networking
• Sachin Malhotra: How we fine-tuned HAProxy to achieve 2M concurrent SSL connections
• Argo from Cloudflare