Tag
Astral 发布实验性的 uv 与 ty 集成，新增 `uv check` 统一命令，可自动安装 ty、同步依赖并对项目进行类型检查，同时为 PEP 723 内联元数据声明的 Python 脚本提供一等公民支持。
The article shares personal opinions on modern compiler building, advocating for tools like OhmJS for parsing and Prolog for type checking, with a focus on simplicity and iterative development.
A tweet questioning whether to proceed with a project called typesfast, likely a faster TypeScript tool, with a link for context.
The Python tool 'ty' now includes first-class support for Pydantic, distinguishing between lax and strict modes and following Pydantic's coercion rules.
ty-pre-commit is a new tool that simplifies pre-commit hooks for type checkers by automatically installing dependencies using uv.
A blog post arguing that Python library maintainers should prioritize running multiple type-checkers on their test suite to ensure public API compatibility, highlighting challenges with compatibility and code pollution.
Neural_avb highlights how Minimax M3's RLMs use subagent swarms with pydantic contracts for type checking and schema validation, reducing hallucination rates and failed subagent calls.
This article recaps the PyCon US 2026 Typing Summit, detailing key talks on Python typing advancements including PEP proposals, AI-assisted type checking experiments, and a Typing Council Q&A session.
At PyTorchCon Europe 2026, Edward Yang explains PyTorch's new pre-compilation support for distributed training and SPMD type system to help developers write correct tensor parallelism code, addressing common pitfalls in gradient correctness.