Will Astral publish a Python type checker on PyPI before the end of 2025?
Will Astral publish a Python type checker on PyPI before the end of 2025?
Basic
1
Ṁ2102026
91%
chance
1D
1W
1M
ALL
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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Sort by:
bought Ṁ85 YES13d
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.
What is this?
What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Win cash prizes for your predictions on our sweepstakes markets! Always free to play. No purchase necessary.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like trading still use Manifold to get reliable news.
How do I win cash prizes?
Manifold offers two market types: play money and sweepstakes.
All questions include a play money market which uses mana and can't be cashed out.
and can't be cashed out.Selected markets will have a sweepstakes toggle. These require sweepcash to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.
to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.Redeem your sweepcash won from markets at 1.00 → $1.00, minus a 5% fee.
Learn more.1.00Related questions
What is this?
What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Win cash prizes for your predictions on our sweepstakes markets! Always free to play. No purchase necessary.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like trading still use Manifold to get reliable news.
How do I win cash prizes?
Manifold offers two market types: play money and sweepstakes.
All questions include a play money market which uses mana and can't be cashed out.
and can't be cashed out.Selected markets will have a sweepstakes toggle. These require sweepcash to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.
to participate and winners can withdraw sweepcash as a cash prize. You can filter for sweepstakes markets on the browse page.Redeem your sweepcash won from markets at 1.00 → $1.00, minus a 5% fee.
Learn more.1.00Related questions
Will python without GIL be released before end of 2025?
95% chance
Will an AI implement a Python PEP by 2024?
12% chance
Will Python 4 be released before 2030?
14% chance
Will there be a Python implementation of the Open Game Engine (a Compositional Game Theory Model Checker) before 2028?
50% chance
Will Python's new No-GIL become officially supported before 2026?
77% chance
Will Python be replaced as the go-to programming language for AI development by the end of 2040?
84% chance
Will GPT-5 be released before Aug 2025?
46% chance
Will I still consider uv the best Python package manager at the end of 2026?
77% chance
In what year will Python 4.0 be released?
When will Python 3.15 be released?
2026