JetBrains released PyCharm 2026.2, introducing a Rust plugin for building Python extensions, debugpy as the default debugger, and support for uv, Poetry, and Hatch multi-project workspaces. The update…
A Pyrefly developer introduced FwPython, a small formal language modeled in Lean 4, to explore edge cases in Python's type system. The language includes classes, inheritance, method lookup, and isinst…
Danver Braganza released Ratchets v0.4.0, switching its regex engine from Rust's regex crate to Resharp, resulting in a 15% speed improvement on the Sculptor codebase. The tool enforces code style by …
Meta released Pyrefly 1.0, a fast Python linter and type checker for PyTorch and Django projects. Python 3.15 introduces a sampling profiler for efficient code instrumentation. A new malware called Ha…
Dify, an open-source platform for building LLM applications, integrated Pyrefly static analysis into its CI pipeline to improve type coverage without blocking daily work. The rollout uses a blocking c…
Pyrefly, a Python type checker, has introduced an experimental feature that brings tensor shapes into Python's type system, allowing shape annotations to become inferred type hints instead of comments…