Media Summary: Coding agents are writing more Python than ever, but in large projects, generated code is prone to For dynamic languages, there are well known approaches to achieve maximum performance, e.g. JIT. But such approaches are ... Introducing a brand new open source project,

Neil Mitchell Pyrefly Type Checking - Detailed Analysis & Overview

Coding agents are writing more Python than ever, but in large projects, generated code is prone to For dynamic languages, there are well known approaches to achieve maximum performance, e.g. JIT. But such approaches are ... Introducing a brand new open source project, Python is easy to use, but one major problem in large Python codebases is

Photo Gallery

Neil Mitchell: Pyrefly: Type Checking 1.8 Million Lines of Python Per Second
How to get your agent to use Pyrefly for type checking
Pyrefly v1.0.0 is here!
Cheaply writing a fast interpreter - Neil Mitchell
Introducing Pyrefly: A new type checker and IDE experience for Python
High-Performance Python: Faster Type Checking and Free Threaded Execution (Sponsor: Meta)
#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler
A first look at Pyrefly 1.0
SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker
PYCON UK 2025: Pyrefly  A Scalable Type Checker for a Unified IDE Experience, Kyle Into
Meta Just Dropped a NEW Python Type Checker!
MyPy Is DEAD! Astral's TY Is The New Future Of Python Type Checking
View Detailed Profile
Neil Mitchell: Pyrefly: Type Checking 1.8 Million Lines of Python Per Second

Neil Mitchell: Pyrefly: Type Checking 1.8 Million Lines of Python Per Second

How do you

How to get your agent to use Pyrefly for type checking

How to get your agent to use Pyrefly for type checking

Coding agents are writing more Python than ever, but in large projects, generated code is prone to

Pyrefly v1.0.0 is here!

Pyrefly v1.0.0 is here!

Pyrefly

Cheaply writing a fast interpreter - Neil Mitchell

Cheaply writing a fast interpreter - Neil Mitchell

For dynamic languages, there are well known approaches to achieve maximum performance, e.g. JIT. But such approaches are ...

Introducing Pyrefly: A new type checker and IDE experience for Python

Introducing Pyrefly: A new type checker and IDE experience for Python

Introducing a brand new open source project,

High-Performance Python: Faster Type Checking and Free Threaded Execution (Sponsor: Meta)

High-Performance Python: Faster Type Checking and Free Threaded Execution (Sponsor: Meta)

Presented by: Sam Gross and

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

#115 More Python Type Checking! Pyrefly with Aaron Pollack & Steven Troxler

Excitement around Python

A first look at Pyrefly 1.0

A first look at Pyrefly 1.0

DevwithSerdar

SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker

SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker

...

PYCON UK 2025: Pyrefly  A Scalable Type Checker for a Unified IDE Experience, Kyle Into

PYCON UK 2025: Pyrefly A Scalable Type Checker for a Unified IDE Experience, Kyle Into

Pyrefly

Meta Just Dropped a NEW Python Type Checker!

Meta Just Dropped a NEW Python Type Checker!

Meta just released

MyPy Is DEAD! Astral's TY Is The New Future Of Python Type Checking

MyPy Is DEAD! Astral's TY Is The New Future Of Python Type Checking

Switching from MyPy to TY for Python

Python Needs Type Safety - Pyrefly Fixes It

Python Needs Type Safety - Pyrefly Fixes It

Python is easy to use, but one major problem in large Python codebases is