Sign in

Ibraheem Ahmed

@ibraheem.ca
195 followers 49 following 41 posts

Software developer interested in building fast, concurrent, and robust systems. @ibraheemdev on twitter.

PostsRepliesMedia
Ibraheem Ahmed @ibraheem.ca · 19/06/2025
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.
0141
Reposted by Ibraheem Ahmed
Charlie Marsh @crmarsh.com · 13/05/2025
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.)
1433384
Ibraheem Ahmed @ibraheem.ca · 14/02/2025
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%
040
Ibraheem Ahmed @ibraheem.ca · 18/01/2025
No I don't want AI generated PRs on my repository thank you very much
an AI generated patch for a bug on github
3132
Ibraheem Ahmed @ibraheem.ca · 08/01/2025
Going to try and publish more than one blog post this year...
230
Ibraheem Ahmed @ibraheem.ca · 24/11/2024
Nice to see people experimenting with alternative scheduling algorithms! nurmohammed840.github.io/posts/announ...
nurmohammed840.github.io
Announcing Nio
040
Ibraheem Ahmed @ibraheem.ca · 21/11/2024
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.
130
Ibraheem Ahmed @ibraheem.ca · 16/11/2024
The next version of papaya reaches over 2x the read throughput of dashmap!
382
Ibraheem Ahmed @ibraheem.ca · 12/11/2024
I guess it's time to start cross posting here.
250