Log inSign up
Pyrefly
2 posts
@pyrefly_dev

Pyrefly

@pyrefly_dev
Just a fast type checker and language server for Python, written in Rust.
pyrefly.org
Joined August 2026
49
Following
8
Followers
RepliesRepliesRepostsRepostsMediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
  • @pyrefly_dev
    Pyrefly
    @pyrefly_dev
    15h
    Google found a strong pattern in real agent submissions: cheap, deterministic checks before the expensive model call. Run a type checker first. Spend model tokens on problems requiring judgment instead of rediscovering call signatures. developers.googleblog.com/4-engineering-… @googledevs
    Image
    Google for Developers Blog - News about Web, Mobile, AI and Cloud
    From developers.googleblog.com
  • @pyrefly_dev
    Pyrefly
    @pyrefly_dev
    Sep 3
    Hello, world. We’re Pyrefly: a fast, open-source type checker and language server- built in Rust for first-time typers, large codebases, IDEs, and coding agents. Follow for approachable typing, benchmarks with receipts, and fewer bugs disguised as vibes. pyrefly.org
Advertisement
Advertisement