Astral has released ty, a new type checker and language server for Python that outperforms existing tools like mypy and Pyright. Built in Rust, it offers rapid incremental updates and a robust diagnostic system. The beta version is available for installation via the uv tool or as a VS Code extension.

Monty is an experimental Python interpreter built in Rust, designed to run Python code generated by AI agents. It offers fast startup times and strict control over resource usage while limiting access to the host environment. Although it has significant limitations, such as no support for the standard library or third-party libraries, it aims to simplify executing code from LLMs.

ty is a Python type checker and language server built in Rust, offering significant speed improvements over mypy and Pyright. It provides detailed diagnostics, advanced typing features, and integrates with popular editors like VS Code and PyCharm. You can use an online playground to test it with code snippets.

UV is a new package manager developed by Astral that addresses the slow performance issues of traditional Python packaging by utilizing innovative techniques such as a static Rust binary, SAT-solving dependency resolution, and optimized installation processes. These advancements lead to significant speed improvements, enabling developers to create virtual environments quickly and streamline their workflows, ultimately allowing them to focus more on coding rather than managing dependencies.

Rust, Python, and TypeScript are emerging as the dominant programming languages due to their strong fundamentals and compatibility with the idea-oriented programming paradigm, which emphasizes a focus on project concepts over specific code syntax. This shift, driven by advancements in AI coding assistants, allows programmers to delegate tasks and streamline the development process while enhancing the importance of type systems and robust ecosystems. The article argues that this new approach makes programming more accessible and less dependent on deep technical knowledge.

Two new Rust-based Python type checkers, Pyrefly and ty, are being compared in terms of speed, goals, and capabilities. While Pyrefly aims for aggressive type inference and is significantly faster than traditional tools like mypy and pyright, ty focuses on gradual type guarantees and also demonstrates competitive performance. Both tools are still in early alpha stages, and their respective approaches to Python type checking highlight distinct philosophies in handling typing errors.

Ty is a fast Python type checker and language server developed in Rust, currently in preview and not ready for production use. Users can test ty through an online playground or by running commands in their terminal, and it supports type checking across Python files in specified directories or projects. The project is still under development, with contributions welcomed through its associated Ruff repository.

RustPython is an open-source Python 3 interpreter implemented in Rust, allowing integration of Python as a scripting language in Rust applications and enabling Python code execution in web browsers via WebAssembly. It aims to provide similar functionalities as other Python implementations like Jython and IronPython while benefiting from Rust's minimal runtime.

In 2025, the Python type checking landscape has seen the introduction of three new tools built in Rust, promising enhanced performance and integration. Established tools like mypy, pyright, and pyre have laid the groundwork, while newcomers ty, pyrefly, and zuban aim to improve type checking with varying philosophies and capabilities, emphasizing gradual adoption and powerful inference. Despite differing conformance scores, practical usability suggests that all tools can effectively catch common typing errors in real-world applications.

The article introduces "nblm-rs," an unofficial client for the NotebookLM Enterprise API built on Rust, featuring both a command-line interface (CLI) and a Python SDK. It aims to simplify interactions with the API by addressing common challenges such as authentication, error handling, and manual request construction. The project provides production-ready tools for easy integration and automation with the NotebookLM features.