@charliermarsh: On this 126 byte snippet: - ty 0.0.65 stack-overflows - mypy 2.3.0 segfaults - Pyright 1.1.411 times out - Pyrefly 1.1.…
Summary
A 126-byte snippet causes multiple Python type checkers (ty, mypy, Pyright, Pyrefly, Pycroscope) to crash, hang, or panic, highlighting interesting edge cases in these tools.
View Cached Full Text
Cached at: 07/31/26, 12:45 AM
On this 126 byte snippet:
- ty 0.0.65 stack-overflows
- mypy 2.3.0 segfaults
- Pyright 1.1.411 times out
- Pyrefly 1.1.1 panics
- Pycroscope 0.4.0 exits with an internal error https://t.co/udbf32v2aV
Similar Articles
pydantic-monty investigation
An investigation into pydantic-monty, a minimal Python interpreter in Rust for sandboxed execution, confirming that its security limits (duration, memory, allocations, recursion) work as intended.
@charliermarsh: ty now ships with first-class support for Pydantic For example: we now distinguish between lax and strict mode in Pydan…
The Python tool 'ty' now includes first-class support for Pydantic, distinguishing between lax and strict modes and following Pydantic's coercion rules.
@charliermarsh: For fun, I also have 5.6 Sol building a CPython-compatible bytecode compiler. So far it's >40% faster with byte-for-byt…
Charlie Marsh announces he is building a CPython-compatible bytecode compiler that is over 40% faster with byte-for-byte compatibility on the majority of a large corpus, using Codex (AI) to autonomously optimize further.
Are you expected to run five Python type-checkers now?
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.
Pyrefly v1.0 is here
Pyrefly, an open-source Python type checker and language server, reaches v1.0, marking production readiness with significant performance improvements and adoption by major codebases like PyTorch and NumPy.