[throwawaymaths]

yes, that is exactly what I meant by "they both eventually went to type hints", but doesn't github use ruby? I think you mean sorbet? Dropbox was the driving force behind mypy (IIRC).

[ollien]

bleh, I meant to say Dropbox.