@charliermarsh: 对于这个126字节的代码片段：- ty 0.0.65 栈溢出 - mypy 2.3.0 段错误 - Pyright 1.1.411 超时 - Pyrefly 1.1.…

X AI KOLs Timeline 2026/07/30 17:48 工具

type-checker python bug crash snippet

摘要

一个126字节的代码片段导致多个Python类型检查器（ty、mypy、Pyright、Pyrefly、Pycroscope）崩溃、挂起或恐慌，凸显了这些工具中有趣的边界情况。

对于这个126字节的代码片段： - ty 0.0.65 栈溢出 - mypy 2.3.0 段错误 - Pyright 1.1.411 超时 - Pyrefly 1.1.1 崩溃 - Pycroscope 0.4.0 因内部错误退出 https://t.co/udbf32v2aV

查看原文

查看缓存全文

缓存时间: 2026/07/31 00:45

在这段126字节的代码片段中：

相似文章

Simon Willison's Blog

对 pydantic-monty 的调查，这是一个用 Rust 编写的用于沙盒执行的最小化 Python 解释器，确认其安全限制（持续时间、内存、分配、递归）按预期工作。

X AI KOLs Following

Python 工具 'ty' 现在包含了对 Pydantic 的一流支持，区分了宽松模式和严格模式，并遵循 Pydantic 的类型强制规则。

X AI KOLs Following

Charlie Marsh 宣布他正在构建一个兼容CPython的字节码编译器，该编译器在大部分大型语料库上实现了超过40%的速度提升，且保持字节对字节兼容性，并利用Codex（人工智能）自主进行进一步优化。

Hacker News Top

一篇博文主张 Python 库维护者应优先在测试套件中运行多个类型检查器，以确保公共 API 的兼容性，并强调了兼容性和代码污染方面的挑战。

Lobsters Hottest

Pyrefly，一款开源 Python 类型检查器和语言服务器，现已发布 v1.0，标志着其达到生产就绪状态，同时带来了显著的性能提升，并被 PyTorch 和 NumPy 等主要代码库所采用。