Pyrefly 1.3 ships experimental tensor-shape checking for JAX, NumPy and Polars schemas
tdhopper · x · 2026-09-15
Meta's open-source Python type checker Pyrefly v1.3 adds:
- Experimental tensor-shape checking via a composable shape DSL for JAX and NumPy, plus DataFrame schema checking for Polars — shapes and schemas no longer live in comments
- Finer error control: pyrefly-specific type: ignore tags, and improved baseline files with matching-mode, format and visibility options, --prune-baseline and --error-stale-baseline for CI
- replace-untyped-imports-with-any to treat stub-less third-party packages as Any; pyrefly init auto-migrates mypy settings
Install: pip install --upgrade pyrefly==1.3.0
More from coding & agent
- Tencent unveils Hyra 2.0, a research agent that builds reusable scientific tools — TencentHunyuan · 2026-11-02
- General Reasoning explains how to train agent swarms with RL and latency pressure — rosstaylor90 · 2026-11-02
- "Coding isn't the bottleneck anymore — usage windows are," says founder Kyle Gawley — kylegawley · 2026-11-02
- Demo passed ≠ production-ready: 5 questions to answer before letting agents run your business — _kellhus · 2026-11-02
- An AI agent passed 100 test chats—still not ready to run the business — djgoel123 · 2026-11-02
- Agent given total creative freedom produces a 1:44 code-drawn animated short film — ivegotnoidea1 · 2026-11-02