frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Ty – A fast Python type checker, written in Rust

https://docs.astral.sh/ty/
71•dvrp•2h ago

Comments

code_biologist•51m ago
The tagline: An extremely fast Python type checker, written in Rust.

@dang or another mod, can you add that to the title? Thanks!

serjester•45m ago
I'm not sure if they're gearing up for an announcement, but about 9 days ago they dropped the preview warning from their README. I'm assuming they're still working through final housekeeping items before formally announcing it.

[1] https://github.com/astral-sh/ty/commit/7a6b79d37e165f2e73189...

alfalfasprout•26m ago
I mean, it's been announced already. Caveat: It's still very far from being competitive with SOTA type checkers like basedpyright.

Still, it's great that this is being worked on and I expect in a year or two ty should be comprehensive enough to migrate over to.

dkdcio•43m ago
previous discussion: https://news.ycombinator.com/item?id=43918484

my understanding is no real news on Ty since then? is Astral announcing it as production ready?

simonw•38m ago
Charlie Marsh tweeted 7 hours ago "ty is coming" - https://x.com/charliermarsh/status/1995153742040330467

Then "Release post will cover all of this" in reply to a question asking for a detailed comparison to alternatives: https://x.com/charliermarsh/status/1995163183808643466

tomhow•22m ago
Given that there is no release post yet, I think it's best to bury this submission as a dupe. When the release post is published, that will count as "significant new information", which is a valid trigger for a new discussion on HN.
grim_io•39m ago
Facebook's pyrefly might be the one part that could break up astral's total python ecosystem dominance, and that is probably a good thing.

I'm saying that as a massive uv and ruff fan.

kissgyorgy•35m ago
Why is that a good thing?
grim_io•30m ago
I don't think that the whole ecosystem should be dominated by a single VC backed startup.

I want my tools to be interchangeable and to play well with other choices.

Having multiple big players helps with that.

alfalfasprout•24m ago
I would hesitate to call it total dominance. There's a lot of good competition arising in this space. If you haven't already, check out pixi for example. And yeah, pyrefly is fantastic.

Competition is good in this case.

tomhow•21m ago
Buried as a dupe for now, until a release post is published. See https://news.ycombinator.com/item?id=46101669 for more.

Previous discussion:

Ty: A fast Python type checker and language server - https://news.ycombinator.com/item?id=43918484 - May 2025 (287 comments)

bbor•17m ago
Over the past few months, I've switched a few decently-sized python codebases from MyPy (which I used for years) to PyreFly (because the MyPy LSP ecosystem is somewhere between crumbling and deprecated at this point), and finally to Ty after it left beta this week. I'm now running a fully Astral-ized (rust-ized!) setup:

1. packaging with uv (instead of pip or poetry),

2. type checking with ty (instead of the default MyPy or Meta's Pyrefly),

3. linting with ruff (instead of Jedi),

4. building with uv build (instead of the default setuptools or poetry build),

5. and publishing with uv publish (instead of the default twine)

...and I'm just here to just say that I highly recommend it!

Obviously obsessing over type checking libraries can quickly become bikeshedding for the typical project, but I think the cohesive setup ends up adding a surprising amount of value. That goes double if you're running containers.[1]

TBH I see Astral and Pydantic as a league of their own in terms of advancing Python, for one simple reason: I can trust them to almost always make opiniated decisions that I agree with. The FastApi/SQLModel guy is close, but there's still some headscratchers -- not the case with the former two. Whether it's docs, source code, or the actual interfaces, I feel like I'm in good hands.

TL;DR: This newly-minted fanboy recommends you try out ty w/ uv & ruff!

[1]https://docs.astral.sh/uv/guides/integration/docker/#availab...

A Love Letter to FreeBSD

https://www.tara.sh/posts/2025/2025-11-25_freebsd_letter/
109•rbanffy•2h ago•51 comments

Writing a good Claude.md

https://www.humanlayer.dev/blog/writing-a-good-claude-md
252•objcts•6h ago•74 comments

Advent of Code 2025

https://adventofcode.com/2025/about
688•vismit2000•11h ago•230 comments

Algorithms for Optimization [pdf]

https://algorithmsbook.com/optimization/files/optimization.pdf
12•Anon84•46m ago•0 comments

Windows drive letters are not limited to A-Z

https://www.ryanliptak.com/blog/windows-drive-letters-are-not-limited-to-a-z/
351•LorenDB•10h ago•168 comments

Bricklink suspends Marketplace operations in 35 countries (developing story)

https://jaysbrickblog.com/news/bricklink-suspends-marketplace-operations-in-35-countries/
12•makeitdouble•1h ago•2 comments

Migrating Dillo from GitHub

https://dillo-browser.org/news/migration-from-github/
251•todsacerdoti•9h ago•151 comments

LLVM-MOS – Clang LLVM fork targeting the 6502

https://llvm-mos.org/wiki/Welcome
95•jdmoreira•7h ago•31 comments

ETH-Zurich: Digital Design and Computer Architecture; 227-0003-10L, Spring, 2025

https://safari.ethz.ch/ddca/spring2025/doku.php?id=start
111•__rito__•6h ago•15 comments

ESA Sentinel-1D delivers first high-resolution images

https://www.esa.int/Applications/Observing_the_Earth/Copernicus/Sentinel-1/Sentinel-1D_delivers_f...
70•giuliomagnifico•6h ago•18 comments

Stop Hacklore – An Open Letter

https://www.hacklore.org/letter
71•zdw•4d ago•47 comments

GitHub to Codeberg: my experience

https://eldred.fr/blog/forge-migration/
109•todsacerdoti•7h ago•46 comments

Program-of-Thought Prompting Outperforms Chain-of-Thought by 15% (2022)

https://arxiv.org/abs/2211.12588
54•mkagenius•5h ago•18 comments

Stackoverflow Outage

https://www.stackstatus.net/
21•ga_to•2h ago•33 comments

"Boobs check" – Technique to verify if sites behind CDN are hosted in Iran

https://twitter.com/hkashfi/status/1995109785679573167
157•defly•3h ago•49 comments

CachyOS: Fast and Customizable Linux Distribution

https://cachyos.org/
251•doener•13h ago•227 comments

Don't push AI down our throats

https://gpt3experiments.substack.com/p/dont-push-ai-down-our-throats
313•nutanc•5h ago•193 comments

The Thinking Game Film – Google DeepMind documentary

https://thinkinggamefilm.com
133•ChrisArchitect•8h ago•100 comments

People keep flocking to Linux, not just to escape Windows

https://www.zdnet.com/article/why-people-keep-flocking-to-linux-in-2025-and-its-not-just-to-escap...
97•breve•3h ago•61 comments

RetailReady (YC W24) Is Hiring Associate Product Manager

https://www.ycombinator.com/companies/retailready/jobs/KPKDu3D-associate-product-manager
1•sarah74•7h ago

The myth of reflected power (2017)

https://www.iz2uuf.net/wp/index.php/2017/07/29/the-myth-of-reflected-power/
25•pera•4d ago•6 comments

Show HN: Real-time system that tracks how news spreads across 200k websites

https://yandori.io/news-flow/
214•antiochIst•4d ago•55 comments

Show HN: Fixing Google Nano Banana Pixel Art with Rust

https://github.com/Hugo-Dz/spritefusion-pixel-snapper
111•HugoDz•4d ago•20 comments

NixOS 25.11 released

https://nixos.org/blog/announcements/2025/nixos-2511/
148•trulyrandom•5h ago•38 comments

You want microservices, but do you need them?

https://www.docker.com/blog/do-you-really-need-microservices/
74•tsenturk•5h ago•88 comments

A Second Look at Geolocation and Starlink

https://www.potaroo.net/ispcol/2025-11/starlinkgeo2.html
23•speckx•5d ago•6 comments

Langjam Gamejam: Build a programming language then make a game with it

https://langjamgamejam.com/
50•birdculture•8h ago•31 comments

There is No Quintic Formula [video]

https://www.youtube.com/watch?v=9HIy5dJE-zQ
45•DamnInteresting•5h ago•17 comments

Paul Hegarty's updated CS193p SwiftUI course released by Stanford

https://cs193p.stanford.edu/
135•yehiaabdelm•5d ago•35 comments

Finding the grain of sand in a heap of Salt

https://blog.cloudflare.com/finding-the-grain-of-sand-in-a-heap-of-salt/
14•privacyops•3d ago•4 comments