Will Astral publish a Python type checker on PyPI before the end of 2025?
1
100Ṁ210
2026
91%
chance

https://astral.sh/, the company behind Ruff and UV.

Alpha and beta releases qualify for this market. I chose "publish on PyPI" because they will almost certainly publish there when they publish anything at all.

I will not bet on this market.

Get
Ṁ1,000
to start trading!
Sort by:

I just found that there is an interactive playground for Red Knot at playknot.ruff.rs

bought Ṁ85 YES

It seems that Astral is making plans for releasing an alpha version. They have created a Red Knot Alpha milestone on GitHub with due date set to 17 May 2025. As usual with software projects, it's quite likely that they will miss that deadline, but even if there are delays, there is still plenty of time till the end of the year.

Astral has been working on a type checker inside Ruff since April 2024. They are calling it "Red Knot" and you can track their progress by looking at issues and PRs labeled red-knot.

@FH7979e Wow! Thanks for the info!

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules