Bringing NumPy's type-completeness score to nearly 90%(pyrefly.org)

59 points by todsacerdoti 1 year ago | 25 comments

Comparing Python Type Checkers: Typing Spec Conformance(pyrefly.org)

93 points by ocamoss 7 months ago | 34 comments

TypeChat(microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

Translating Cython to Mojo, a first attempt(fnands.com)

74 points by fnands 1 year ago | 19 comments

Python’s Preprocessor(pydong.org)

375 points by rbanffy 2 years ago | 81 comments

Blog post explaining how Python source code encoding declarations (PEP 263) can be abused to implement a preprocessor that transforms code before execution.

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers(blog.edward-li.com)

364 points by edwardjxli 1 year ago | 144 comments

A blog post comparing Pyrefly (Meta) and ty (Astral), two new Rust-based Python type checkers, against each other and tools like mypy and Pylance.