redixhumayun

5 ms·

1.
The Cost of Concurrency Coordination with Jon Gjengset [video](youtube.com)
1 points by redixhumayun 5mo ago|0 comments
2.
Hardware Memory Reordering(coffeebeforearch.github.io)
1 points by redixhumayun 1y ago|0 comments
3.
by redixhumayun 1y ago
> 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?
4.
Unfortunately, Worse Is Better(gorur.dev)
3 points by redixhumayun 1y ago|1 comments
5.
Iceberg Is Wrong(database-doctor.com)
5 points by redixhumayun 1y ago|0 comments
6.
Advanced Testing and Determinism(lewiscampbell.tech)
1 points by redixhumayun 1y ago|0 comments
7.
by redixhumayun 1y ago
Has NewSQL really stalled though? Yugabyte, Cockroach & Spanner all seem to be doing fine? Hyper even got acquired by tableau a few years ago
8.
by redixhumayun 2y 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 optimizations in Rust.
9.
Cache Conscious Hash Maps(redixhumayun.github.io)
3 points by redixhumayun 2y ago|1 comments
10.
Visualising Extendible Hash Tables(redixhumayun.github.io)
2 points by redixhumayun 3y ago|1 comments
11.
by redixhumayun 3y ago
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 a new topic - how to "see" what's happening
12.
by redixhumayun 3y ago
This is awesome! Also, I'm pretty sure I've come across your repo before from a SO answer (if I remember correctly)
13.
by redixhumayun 3y ago
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 models for the first time. I think for someone who has no
14.
by redixhumayun 3y ago
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 problem might be an entirely separate post. I added in a note abou
15.
by redixhumayun 3y ago
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/linux/kernel/git/torv
16.
by redixhumayun 3y ago
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?
17.
by redixhumayun 3y ago
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 ready), why would it be correct to think of it as two sepa
18.
by redixhumayun 3y ago
How would Rust solve this problem?
19.
by redixhumayun 3y ago
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 even be possible?
20.
Atomics and Concurrency(redixhumayun.github.io)
106 points by redixhumayun 3y ago|48 comments