Viewing profile — redixhumayun

> AI has also been a really good brainstorming partner - especially if you prompt it to disable sycophancy. Can you share more about how you are prompting to disable sycophancy?

Has NewSQL really stalled though? Yugabyte, Cockroach & Spanner all seem to be doing fine? Hyper even got acquired by tableau a few years ago

A little trip down performance testing lane as a way to get familiar with the tooling around profiling and performance testing. Led to a few happy discoveries of compiler optimizat…

I wrote a little bit about extendible hash tables and put some effort into creating visualisations around them. Mostly because this is something I struggle with when learning about…

This is awesome! Also, I'm pretty sure I've come across your repo before from a SO answer (if I remember correctly)

Honestly, now that I look back at it having written it a couple of weeks ago, it doesn't feel that long. But, writing it felt incredibly wrong because I was encountering memory mod…

That concurrent queue is only there to illustrate usage of CAS in a data structure. I think having an actual implementation of a concurrent queue along with handling the ABA proble…

Yeah, I see your point about thinking in terms of dependency graphs. I actually got the idea for using a visual memory barrier from the Linux docs( https://git.kernel.org/pub/scm/l…

I assumed what the poster above meant was that Rust can take care of more than just data races. Specifically Rust can solve the ABA problem somehow?

Hey, so I'm curious why having memory barriers span across threads is the wrong mental model. Assuming that the memory barrier is syncing across a single variable (in this case rea…

How would Rust solve this problem?

Are there tools out there that can prove semantic invariants in multi-threaded code? I don't understand how there can be automated tools around it at all because how would that eve…

I wrote this as a way to understand atomics, concurrency and memory ordering in C++ when I was exploring lock-free programming