Micha's Avatar

Micha

@michareiser.bsky.social

Engineer @ Astral Prev: Biome, Facebook

211 Followers  |  105 Following  |  2 Posts  |  Joined: 30.03.2024  |  1.4627

Latest posts by michareiser.bsky.social on Bluesky

Post image

Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust.

In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)

13.05.2025 17:00 β€” πŸ‘ 330    πŸ” 84    πŸ’¬ 14    πŸ“Œ 13
Video thumbnail

With uv (astral) and Zed, it is pretty easy to get set up to work on an existing Python project:

1. Clone the repo
2. `uv sync` to install deps in a .venv
3. Select the .venv in Zed's toolchain selector

We have plans to further improve our support of Python. Stay tuned.

31.01.2025 18:49 β€” πŸ‘ 58    πŸ” 4    πŸ’¬ 0    πŸ“Œ 2
Preview
Ruff v0.9.0 The new 2025 formatter style guide, rule stabilizations, and more

The 2025 Ruff style guide includes formatting for f-string interpolated expressions, automatic joining of single-line implicitly concatenated strings, improved formatting for multiline `assert` statements, and more astral.sh/blog/ruff-v0...

09.01.2025 14:21 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0

Exciting. Now I’m curious ☺️ Is there any documentation where I could learn more about the upcoming changes

12.12.2024 20:12 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

python-build-standalone has exploded in popularity, with over 70M downloads all-time.

But what is a "standalone" Python build?

It wasn't obvious to me at first! Initially, I didn't understand what problem was being solved or why it mattered...

04.12.2024 02:09 β€” πŸ‘ 162    πŸ” 20    πŸ’¬ 7    πŸ“Œ 3
"Using uv with PyTorch"

"Using uv with PyTorch"

uv now ships with dedicated documentation for PyTorch

19.11.2024 22:16 β€” πŸ‘ 149    πŸ” 13    πŸ’¬ 4    πŸ“Œ 1

The down/up cursors don't work in the search. For example, I can't search for "Dan " and then hit the down arrow to select your profile. The focus remains in the input box.

07.11.2024 14:03 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@michareiser is following 20 prominent accounts