Explore tweets tagged as #mypy
mypy has been extremely annoying to work with especially when it came to speed, errors sometimes still get highlighted in red even 2 minutes after i fix them. until i came upon TY, yet another awesome package from Astral Sh (the creators of ruff).
2
0
16
I can’t believe I waited so long to switch from mypy to ty (from the maker of uv and ruff). I think I was put off from it being advertised as being “pre-release.” Nonsense, it works great! And it’s literally hundreds of times faster than mypy. It’s a qualitative difference.
1
0
9
Get instant type checking feedback with Ty (Rust-based Python checker) ⚡ Traditional type checkers like mypy are slow on large codebases, making iteration cycles longer and development less efficient. Ty is a Rust-based type checker that provides instant feedback on type
0
0
17
https://t.co/icHB5gZcCX pyo3-stub-gen 0.15.0をリリースしました(´・ω・｀) - 型ヒントの手動上書き時にPythonの型ヒントをそのまま書けるようになりました - mypy.stubtestでテストするようになり、互換性が向上しています
1
3
15
me: let's make sure we use `ty` for typechecking, not `mypy` Claude: certainly! an hour later:
1
0
1
⚡ Trend Pulse #15 — 2025-09-03 Zuban Language Server — 95% Mypy tests; Rust core slashes cold checks, unlocks larger codebases Quad RTX 3090 vs RTX PRO 6000 — 24 GB vs 96 GB; tensor‑parallel overhead vs single‑GPU simplicity AI Coding Productivity (METR RCT) — RCT finds 19%
0
0
2
Pythonのパッケージマネージャはuv一択になったけど、代わりに型チェッカがmypy,pyright,pyrefly,tyと出てきて、Googleも内部で使ってるGoで書いたやつをオープンソースにするんじゃないかって噂が立ってて乱立し始めた。
0
64
478
Claude is one of us 🤣 - Please fix mypy - type: ignore
10
6
20
ころんびあさんの発表、めちゃくちゃ盛りだくさんですごい。 mypyを高速化したtyが開発されてるとか、jaxtypingとか全然知らんかった。この資料何度も読み直したい😇 #関西Kaggler会 https://t.co/okV4bAoBvX
1
6
112
Python型ヒントの歴史語り。 そうそうその通りと読み進めていって、最後のほうでどんでん返し。 RecustomerさんにはPythonの型にめちゃめちゃ造詣の深い方いらっしゃる（CTOさんかな？） #PyConJP2025 mypyの10年、pyrightの5年 tyの挑戦 - 型チェッカー進化論 -
1
42
281
jediの開発者が作ってるrust製のpython lsp 早速設定したけど確かに定義ジャンプ爆速で体験が良すぎるな mypyのタイプヒントも導入されていて速くていい。 まだ使い始めだから何かしら問題ありそうだけど https://t.co/gdpWDLcltT
1
0
3
ya boy is contributor #69 on mypy! "but why?", you ask the next release will make https://t.co/pKyiOAoj68 and https://t.co/3CTqUp9cSD a whole lot faster
0
1
2
🤖 Watching Codex's logs trying to commit some code after adding pre-commit hooks for black, isort, ruff, mypy, pyright, pytest, bandit, and mkdocs is my new favorite dark comedy reality TV show. How many "noqa"s can I find in one PR? 🤣
13
1
14
Glitchlings v0.4.2: - ruff, black, mypy (oh my) - Schema validation for attack config files - Reduce technical debt by deduplicating helpers - Reorganize tests by functional area - Streamline docs updates Somehow at 21 stars, 21 more than I expected 👾 https://t.co/1N9uk6FSQ4
1
1
3
@ID_AA_Carmack funny enough, mypy can kind of catch this, if the variables are of incompatible type.
1
0
9
Coding agents follow "it's always your fault" a bit too well When they hit a compiler bug, they'll rearrange methods, tweak syntax, and go in circles rather than consider the tooling might be wrong Had to manually identify and minimize this mypy bug after Claude Code couldn't
1
0
1