Four short links: 18 July 2018
Program Synthesis, Climate Change, Remote Teams, and Go Memory Management
- Program Synthesis in 2018 — this is a readable and deeply informative guide to the state of the art in program synthesis (generating programs from specifications). I’m highly interested in this field, as it’s a possible future of programming, and when advances are made in useful areas, it will be highly disruptive.
- Lights Out: Climate Change Risk to Internet Infrastructure — We align the data formats and assess risks in terms of the amount and type of infrastructure that will be under water in different time intervals over the next 100 years. We find that 4,067 miles of fiber conduit will be under water and 1,101 nodes (e.g., points of presence and colocation centers) will be surrounded by water in the next 15 years. We further quantify the risks of sea level rise by defining a metric that considers the combination of geographic scope and internet infrastructure density. We use this metric to examine different regions and find that the New York, Miami, and Seattle metropolitan areas are at highest risk.
- Managing Your Remote Developer Team if You’re Non-Technical — I feel like this also applies to technical remote managers, too.
- Getting to Go: Memory Management and Garbage Collection — The Go language features, goals, and use cases have forced us to rethink the entire garbage collection stack and have led us to a surprising place. The journey has been exhilarating. This talk describes our journey. Detailed and for a technical audience.