Record · corpus.blog/posts/01a08748-0fe9-711a-866e-a822a33b9fc0

Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers

Edward Li's Blog · published 27 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.edward-li.com Wayback capture

1blogs citing

First cited: 1 Jun 2025
Most recent: 1 Jun 2025
Rank this month: not ranked
External links: 18
Words captured: 5,511

Cited by

Blog

In the post

Date

Zero to Mastery

[May 2025] Python Monthly Newsletter 🐍 Read at the source ↗

1 Jun 2025

Links from this post

Link

Host

https://medium.com/@brentcsutoras/the-em-dash-dilemma-how-a-punctuation-mark-became-ais-stubborn-signature-684fbcc9f559

medium.com

https://github.com/facebook/pyrefly

github.com

Linklog | astral-sh/ty: An extremely fast Python type checker and language server, written in Rust.

github.com

https://mypy-lang.org/

mypy-lang.org

https://github.com/microsoft/pyright

github.com

https://us.pycon.org/2025/

us.pycon.org

https://us.pycon.org/2025/events/typing-summit/

us.pycon.org

https://pyre-check.org/

pyre-check.org

https://astral.sh/

astral.sh

https://docs.astral.sh/uv/

docs.astral.sh

https://github.com/astral-sh/ruff

github.com

https://github.com/salsa-rs/salsa

github.com

https://rust-analyzer.github.io/

rust-analyzer.github.io

https://news.ycombinator.com/item?id=44108931

news.ycombinator.com

https://en.wikipedia.org/wiki/Diophantine_equation

en.wikipedia.org

https://pyrefly.org/sandbox

pyrefly.org

https://play.ty.dev

play.ty.dev

https://github.com/astral-sh/ruff/tree/main/crates/ty_python_semantic/resources/mdtest

github.com