Meta Tech Podcast15 Mai 2025

75: Open-sourcing Pyrefly - A faster Python type checker written in Rust

Pyrefly is a faster, open-source Python type checker written in Rust, succeeding Pyre. But what prompted the rewrite and what besides the language choice ended up making it faster? Host Pascal talks to Maggie, Rebecca and returning guest Neil about the unexpected complexities of building an incremental type checker that scales to mono repositories in episode 75.

Got feedback? Send it to us on Threads (https://threads.net/@metatechpod), Instagram (https://instagram.com/metatechpod) and don't forget to follow our host Pascal (https://mastodon.social/@passy, https://threads.net/@passy_). Fancy working with us? Check out https://www.metacareers.com/.

Links

Pyrefly: https://pyrefly.org/
Pyre: https://pyre-check.org/
Ruff: https://github.com/astral-sh/ruff
PEP 484: https://peps.python.org/pep-0484/

Timestamps

Intro 0:06
Rebecca Introduction 1:45
Maggie Introduction 2:45
Neil (Re-)Introduction 3:12
Team Mission 3:56
History of Typing in Python 4:29
The State of Typed Python at Meta 5:32
fbcode 6:02
Original Motivation for building Pyre 6:19
Justifying the Rewrite 7:48
Pyrefly vs the Rest 9:41
Why Rust? 10:45
Fearless Concurrency 12:02
Why is it faster? 12:37
Python community and Rust 14:57
Pyrefly wasm crate 15:46
Upgrade experience 17:34
Type checking differences 19:12
IDE experience 21:31
State of Pyrefly at Meta 22:27
Being open-source-first 23:36
Open-source challenges 25:06
Unexpected challenges 26:39
Outro 31:05

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(94)

BONUS: Send Us Your Questions About Engineering at Meta

Pascal is going on Recharge for August so there will be no regular interview episode. However, we want to hear your questions for our mailbag episode. Send them to us on Instagram (https://www.instagr...

29 Jul 1min

87: Everything is Power: Battery Life Engineering for AI Glasses

What changes for you as a developer when the device moves from your pocket to your face? The battery shrinks by an order of magnitude, the thermal budget is whatever won't make your nose uncomfortable...

13 Jul 41min

86: A Hard Cell: Engineering Ultra-Narrow Batteries for AI Glasses

Your smart glasses run all day on a battery narrower than your pinky finger and building it required reinventing how batteries are made. In this episode, Pascal talks to Karthik and Myuran, the engine...

9 Jun 42min

85: Reel Friends: Building Social Discovery that Scales to Billions

You've probably spotted those little circles of your friends' faces popping up on Facebook Reels. They look simple enough, but building them was a proper engineering challenge. In this episode, Pascal...

8 Mai 38min

84: Trust But Canary: Configuration Safety at Scale

Have you ever wondered how Meta makes config rollouts safe at scale? In this episode, Pascal sits down with Ishwari and Joe to discuss Meta's approach for propagating changes across services in second...

2 Apr 37min

83: Patch Me If You Can: AI Codemods for Secure-by-Default Android Apps

At Meta, even seemingly simple engineering tasks—like updating an API—become monumental undertakings when you're dealing with millions of lines of code and thousands of engineers, especially if the ch...

27 Feb 47min

82: CSS at Scale with StyleX

It's not just Not Invented Here Syndrome. Some technologies like CSS simply don't scale if you're building some of the largest websites on the planet with thousands of engineers committing to the same...

8 Jan 44min

81: From Zero to Polish: Building Meta Ray-Ban Display

You've likely heard of Meta Ray-Ban Display by now — but what's it actually like to work on it? In this episode, Pascal talks to Kenan and Emanuel about the exciting features of Meta's First-Gen Displ...

12 Des 202547min