Media Summary: Introducing a brand new open source project, Coding agents are writing more Python than ever, but in large projects, generated code is prone to type errors. In this video, we ... How do you type-check 1.8 million lines of Python per second? Neil Mitchell explains how
Announcing Pyrefly Beta - Detailed Analysis & Overview
Introducing a brand new open source project, Coding agents are writing more Python than ever, but in large projects, generated code is prone to type errors. In this video, we ... How do you type-check 1.8 million lines of Python per second? Neil Mitchell explains how Python typing got fast enough to feel invisible. Python is easy to use, but one major problem in large Python codebases is type safety. You can pass the wrong type to a function, ... Ever wanted Python to run like C++... without selling your soul to semicolons? Well, Meta heard you and dropped
