Ibraheem Ahmed
@ibraheem.ca
Software developer interested in building fast, concurrent, and robust systems.
@ibraheemdev on twitter.
@ibraheemdev on twitter.
It's been really exciting collaborating with the rust-analyzer folks on salsa (which we use internally in ty)! A lot of the improvements end up making their way into both projects, I think salsa has a bright future ahead.
hey, lukas and i gave a talk about salsa in rust-analyzer and i think it’s a good time; check it out
An Incrementally Spicier rust-analyzer
by David Barsky & Lukas Wirth at RustWeek 2025!
www.youtube.com/watch?v=tn6q...
@davidbarsky.com
@lukaswirth.dev
#rustlang #RustWeek
by David Barsky & Lukas Wirth at RustWeek 2025!
www.youtube.com/watch?v=tn6q...
@davidbarsky.com
@lukaswirth.dev
#rustlang #RustWeek
June 19, 2025 at 7:10 PM
It's been really exciting collaborating with the rust-analyzer folks on salsa (which we use internally in ty)! A lot of the improvements end up making their way into both projects, I think salsa has a bright future ahead.
Reposted by Ibraheem Ahmed
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.)
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.)
May 13, 2025 at 5:00 PM
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.)
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.)
I was recently made aware that every single additional *cycle* in the hash function used by rustc increases its runtime by a whopping 0.25%
February 14, 2025 at 4:46 AM
I was recently made aware that every single additional *cycle* in the hash function used by rustc increases its runtime by a whopping 0.25%
No I don't want AI generated PRs on my repository thank you very much
January 18, 2025 at 2:52 AM
No I don't want AI generated PRs on my repository thank you very much
Going to try and publish more than one blog post this year...
January 8, 2025 at 12:55 AM
Going to try and publish more than one blog post this year...
Nice to see people experimenting with alternative scheduling algorithms! nurmohammed840.github.io/posts/announ...
Announcing Nio
nurmohammed840.github.io
November 24, 2024 at 3:59 PM
Nice to see people experimenting with alternative scheduling algorithms! nurmohammed840.github.io/posts/announ...
I think all the talk about async being hard somewhat misses the point that high-throughput low-latency systems *are* hard, and the people building those systems are also the people developing and maintaining the async ecosystem.
November 21, 2024 at 5:02 PM
I think all the talk about async being hard somewhat misses the point that high-throughput low-latency systems *are* hard, and the people building those systems are also the people developing and maintaining the async ecosystem.
The next version of papaya reaches over 2x the read throughput of dashmap!
November 16, 2024 at 7:34 PM
The next version of papaya reaches over 2x the read throughput of dashmap!
I guess it's time to start cross posting here.
November 12, 2024 at 8:59 PM
I guess it's time to start cross posting here.