Scale By The Bay 2019 Unconference: Sergei Winitzki, Reasoning about types and code

A connected record in the developer community graph.