#TypeChecking

@nithecs.bsky.social

3 weeks ago

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

1 0 0 0

Hacker News Companion

@hncompanion.com

2 months ago

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

0 0 1 0

Meta Open Source

@metaopensource.bsky.social

3 months ago

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

1 0 0 0

ben

@clews.id.au

3 months ago

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

1 0 0 0

Jorge Jara

@kriollodev.bsky.social

3 months ago

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

1 0 0 0

Hacker News Companion

@hncompanion.com

6 months ago

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

0 0 1 0

Sharp Coder Blog

@sharpcoderblog.com

7 months ago

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

1 0 0 0

Naoya

@naoyacreates.bsky.social

8 months ago

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...

0 0 0 0

InfoQ

@infoq.com

9 months ago

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

1 0 0 0

Hacker News Companion

@hncompanion.com

9 months ago

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

1 0 1 0

ⵙⵢⴼ 🦀🐘

@azjezz.bsky.social

9 months ago

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

Which one do you prefer? 👀

#php #rust #typechecking #staticanalysis

7 0 1 0

DIY Devs

@diydevs.bsky.social

10 months ago

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

0 0 0 0

Honza Javorek

@honzajavorek.cz

10 months ago

(meme) Astral: Oops I did it again

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

#python #typechecking #astral #rust

0 1 0 0

Ranjit Mathew

@rmathew4bs.bsky.social

2 years ago

Modern C for Fedora (and the world) It can be instructive to pull down the dog-eared copy of the first edition of The C Programming Language that many of us still have on our bookshelves; the language has changed considerably since that...

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

0 0 0 0

Posts tagged #TypeChecking