Meta Pyrefly 1.3 发布:实验性张量形状检查登陆 JAX 与 PyTorch
tdhopper · x · 2026-09-15
Meta 开源 Python 类型检查器 Pyrefly 发布 v1.3,核心新能力:
- 实验性张量形状检查:可组合的 shape DSL,扩展到 JAX 与 NumPy,并对 Polars 提供 DataFrame schema 检查,让形状和 schema 不再只活在注释里
- 错误配置更灵活:支持 type: ignore[pyrefly:xxx] 精确抑制指定诊断;baseline 文件新增匹配模式、格式、可见级别选项,及 --prune-baseline、--error-stale-baseline 等 CI 友好命令
- 新增 replace-untyped-imports-with-any 选项,可指定无 stub 的第三方包按 Any 处理,pyrefly init 可自动翻译 mypy 配置
安装:pip install --upgrade pyrefly==1.3.0
「编程与Agent」频道最新
- Cohere Labs 智能体团队构建方法降本 70%，兼顾效率 — Cohere_Labs · 2026-11-02
- Ыég especial: 长文析 AI 价值在效率之后：Infra 必然过剩，应用层基建正当时 — yangyi · 2026-11-02
- 开源 offprompt：MCP 服务器让 Agent 请求密钥却永远看不到明文 — Vast_Ad_7338 · 2026-11-02
- Reddit 讨论：把 OOP 公有方法直接变成 AI Agent 可调用的工具 — out_of_nowhere__ · 2026-11-02
- DeepSeek 设计文档：一人只能盯 3-5 个 agent 会话，瓶颈不再是模型 — heyshrutimishra · 2026-11-02
- 资深工程师谈 AI 编码：软件工程功底决定 agent 输出质量 — bendee983 · 2026-11-02