洪民憙 (Hong Minhee): Meta introduced Pyrefly, a new type checker and IDE experience for Python.

Hackers’ Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

洪民憙 (Hong Minhee) @hongminhee@hackers.pub

5/16/2025, 1:35:17 PM

Public

Meta introduced Pyrefly, a new type checker and IDE experience for Python.

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

Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static type checker that analyzes Python code to ensure type …

engineering.fb.com · Engineering at Meta

If you have a fediverse account, you can reply to this note from your own instance. Search https://hackers.pub/ap/notes/0196d94e-6bc3-7930-b366-a74a1757f899 on your instance and reply to it.