NITheCS Micro-school: 'Upgrade Your Python Toolkit with uv, ruff, and ty'.
Join Dr Dean Brand online on Fri, 20 February, 12h00–12h30 SAST for a practical introduction to fast, modern Python tooling powered by Rust.
buff.ly/rw5Ziyi
#Python #PythonTooling #Ruff #uvPython #TypeChecking #Rust

Users note that `ty`'s success isn't just about spec conformance. Real-world usability, speed, and accurate error detection against existing codebases are key differentiators when evaluating new type checkers like `ty` versus mypy/Pyright. #TypeChecking 2/6

How Pyrefly Works with Pydantic (v1 experimental support) YouTube video by Meta Open Source

🔎 Check out our new video on Pyrefly’s Pydantic support

Pyrefly currently offers experimental support for Pydantic, bringing improved static type checking and IDE integration to your data models.

▶️ Watch the video: youtu.be/zXYpSQB57YI
#Python #TypeChecking #OpenSource

So I was tired of installing massive C library dependencies just for type checking. Turns out Python's import system doesn't care if packages are real. Just create stub directories with type signatures and Pyright is happy. Fast setup, no bloat.

clews.id.au/til/type-stu...

#Python #TypeChecking

uno de los problemas de typescript es su lentitud en la validación del Typechecking, ningún compilador lo hace, ya que es muy costoso, a nivel de tiempo y desarrollo, pero con la IA se puede hacer algo... #typescript #go #typechecking

Pytype's discontinuation stems from the rise of faster, incremental type checkers. The community favors tools that offer quicker feedback cycles, a crucial factor for large codebases and CI/CD pipelines. Speed is paramount in modern dev workflows. #TypeChecking 2/6

Exploring TypeScript's Compiler Internals TypeScript's compiler, often referred to as tsc, is one of the core components of the TypeScript ecosystem. It transforms TypeScript code into JavaScript while enforcing stat...

Exploring TypeScript's Compiler Internals #Typescript #Compiler #Internals #Parsing #Binding #Typechecking #Ast #Program #Checker #Emission #Diagnostics #Transformation #Api #Customization

Pyrefly vs Ty: Rust-Powered Python Type Checkers Compared | AI News Discover how Rust is revolutionizing Python type-checking! Compare Pyrefly and Ty, two new fast and powerful tools.

AIMindUpdate News!
Faster Python type checking is here! See how Pyrefly and Ty, built in Rust, are already outpacing the competition. #Python #Rust #TypeChecking

Click here↓↓↓
aimindupdate.com/2025/06/27/p...

Introducing #Pyrefly: Meta's new #opensource #Python type checker, crafted in Rust for maximum performance!

Pyrefly is intended to replace the OCaml-based Pyre type checker previously used for Instagram’s codebase.

Find out more: bit.ly/4jIi3a1

#InfoQ #Meta #RustLang #TypeChecking

Design Philosophies: Ty aims for a "gradual guarantee" (no new errors on adding types), good for legacy code. Pyrefly leans towards stricter inference like TypeScript, potentially better for new projects needing strong safety from the start. #TypeChecking 2/5

Results of analyzing the same code block using Mago, Psalm, and PHPStan.

Which one do you prefer? 👀

#php #rust #typechecking #staticanalysis

GitHub - astral-sh/ty: An extremely fast Python type checker and language server, written in Rust. An extremely fast Python type checker and language server, written in Rust. - astral-sh/ty

Looking for a faster way to typecheck Python? Ty might help. It's a new type checker and language server built in Rust. One to keep an eye on: github.com/astral-sh/ty

#Python #TypeChecking #RustLang #DevTools #WebDev

(meme) Astral: Oops I did it again

https://github.com/astral-sh/ty

#python #typechecking #astral #rust

A noble effort needing a lot of patience & perseverance – hats off of these folks:

“Modern C For Fedora (And The World)”, LWN (lwn.net/Articles/954...).

On HN: news.ycombinator.com/item?id=3872...

#C #ModernC #LegacyCode #Programming #TypeChecking