Ibraheem Ahmed

Software developer interested in building fast, concurrent, and robust systems. @ibraheem.ca on 🦋

[Ibraheem Ahmed @ibraheemdev]

That terrible feeling when you have a great blog post idea but know you'll never have time to write it

[Protty @kingprotty]

Writing fast code under optimizing compilers feels similar to *prompting: 1) Developing an intuitive understanding of how the model combines your patterns to outputs 2) Knowing what a "good" output is, in regards to correction.

* any deterministic ML inference with text input

[Charlie Marsh @charliermarsh]

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.)

[Ibraheem Ahmed @ibraheemdev]

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%

[Ibraheem Ahmed @ibraheemdev]

@charliermarsh Not sure if there's anything written up other than that PR and the rustc perf runs.

[Ibraheem Ahmed @ibraheemdev]

@charliermarsh The new rustc-hash algorithm is actually different than foldhash. rustc-hash is optimized specifically for the compiler's usage, while foldhash is more general purpose.

[Ibraheem Ahmed @ibraheemdev]

@chillbert32 @Lucretiel @mitsuhiko This is better than multiple points of failure in this case.

[Ibraheem Ahmed @ibraheemdev]

@mitsuhiko Would it feel different if zerocopy was an official rust-lang repository backed by a working group? I think that's essentially the idea here.

[Ibraheem Ahmed @ibraheemdev]

@mitsuhiko Not exposed, you say 🙃

RandomState::new().build_hasher().finish()

[Ibraheem Ahmed @ibraheemdev]

Very high quality code here too

[Ibraheem Ahmed @ibraheemdev]

No I don't want AI generated PRs on my repository thank you very much

[Ibraheem Ahmed @ibraheemdev]

@charliermarsh The only time Charlie ever takes a break

[Ibraheem Ahmed @ibraheemdev]

Unfortunately all of my short blog post ideas evolve into books

[Ibraheem Ahmed @ibraheemdev]

Going to try and publish more than one blog post this year...

[Ibraheem Ahmed @ibraheemdev]

@GustavSterbrant @olson_dan If this level of safety is not important to you then Rust might not be for you, but once you appreciate it the experience becomes a lot more enjoyable. And to be honest there's only a handful of patterns you have to come to understand before feeling relatively comfortable.

[Ibraheem Ahmed @ibraheemdev]

@GustavSterbrant @olson_dan That's fair, but Rust's goal is to force you to think more about what exactly you're doing. Another language would let you trivially create globally mutable state, which you can also do in Rust, it just makes it less accessible because that's probably not what you actually want.

[Ibraheem Ahmed @ibraheemdev]

@gwenzek Rust is really good at this too, I just happen to be working with a lot of raw pointers and atomics.

[Ibraheem Ahmed @ibraheemdev]

Eliminating LLVM optimization remarks is my passion.