python Timeline - FediScanner

--<--
TL;DR: ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to tools like mypy, Pyright, and Pylance.

Today (2025-12-16), we're announcing the Beta release of ty.

We now use ty exclusively in our own projects and are ready to recommend it to motivated users for production use.

At Astral, we build high-performance developer tools for the Python ecosystem. We're best known for uv, our Python package manager, and Ruff, our linter and formatter.

Today (2025-12-16), , we're announcing the Beta release of the next tool in the Astral toolchain: ty, an extremely fast Python type checker and language server, written in Rust.

You can install ty today with uv tool install ty@latest

Like Ruff and uv, ty's implementation was grounded in some of our core product principles:

- 1. An obsessive focus on performance. Without caching, ty is consistently between 10x and 60x faster than mypy and Pyright. When run in an editor, the gap is even more dramatic. As an example, after editing a load-bearing file in the PyTorch repository, ty recomputes diagnostics in 4.7ms: 80x faster than Pyright (386ms) and 500x faster than Pyrefly (2.38 seconds). ty is very fast!

- 2 Correct, pragmatic, and ergonomic. With features like first-class intersection types, advanced type narrowing, and sophisticated reachability analysis, ty pushes forward the state of the art in Python type checking, providing more accurate feedback and avoiding assumptions about user intent that often lead to false positives. Our goal with ty is not only to build a faster type checker; we want to build a better type checker, and one that balances correctness with a deep focus on the end-user experience.

3. Built in the open. ty was built by our core team alongside dozens of active contributors under the MIT license, and the same goes for our editor extensions. You can run ty anywhere that you write Python (including in the browser).

Even compared to other Rust-based language servers like Pyrefly, ty can run orders of magnitude faster when performing incremental updates on large projects.

-->--

#Python #TypeChecker #Ty

Show Original Post

Report

17.12.2025 17:05
pycharm (@pycharm@techhub.social)

Meet the Islands Theme – The New Default Look for JetBrains IDEs
#Python #Pycharm #Intellij #Idea #News #Intellijplatform #Jetbrainsides #Ui

https://blog.jetbrains.com/platform/2025/12/meet-the-islands-theme-the-new-default-look-for-jetbrains-ides/

Show Original Post

Report

17.12.2025 17:02
PythonPeak (@PythonPeak@mastodon.social)

Join Paths via 3 Methods

Join Paths via 3 Methods This content explores interesting aspects of this topic. The information provided offers valuable insights and perspectives. Understanding this reveals how everyday things are more thoughtful than they appear. Next time you'll notice this detail. This fascinating detail shows how much thought goes into things we take for granted.

#python #coding #programming #tutorial #path #join #pathlib

https://www.youtube.com/watch?v=P4W-CbmGm2c

Show Original Post

Report

17.12.2025 17:00
sephi (@sephi@tooting.ch)

🚨 Job alert!🚨 L’association PETZI cherche une personne qui aime faire du développement web (back) pour bosser sur la billetterie. On est une (toute) petite équipe, on bosse toustes à temps partiel, on fait du Python et du Django, un peu de Nix, et on a plein plein d’idées pour avoir la meilleure billetterie pour nos membres et pour les gens qui achètent des billets ou qui utilisent notre agenda d’événements. ❤️

Partages bienvenus!

Toutes les infos ici: https://www.petzi.ch/media/Job/default/Backend_Web_Developer_Job_Offer.pdf

#django #python

Show Original Post

Report

17.12.2025 16:43
talkpython (@talkpython@fosstodon.org)

We are live on YouTube in 20 minutes. Join us and be part of the show with @mkennedy and David Lord, Jeff Triplett, Carlton Gibson, Cody Fincher, Philip Jones, and Sebastián Ramírez. #python #podcast

Topic: Web Frameworks in Prod by Their Creators

https://www.youtube.com/watch?v=cHmoClKu6qk

Show Original Post

Report

17.12.2025 16:41
notes (@notes@woem.men)

TIL: #Python ctypes.util.find_library has been known to be broken on musl at least since 2014, because the code assumes glibc tools (or gcc). And a PR to fix it hasn't been merged since 2020. I know this stuff isn't trivial, but still…
https://github.com/python/cpython/issues/65821
https://github.com/python/cpython/pull/18380

Show Original Post

Report

1 ...800 801 802 803 804 805 806 807 808 809 810 ...1578