B blogs.dropbox.com Our journey to type checking 4M lines of Python 207 points signa11 7 years ago 107 comments