Try some peñas folklóricas.

The people in that list all sound sketchy. Where are the "good guys"?

It is not my impression that the federal government is currently in the business of hiring "good guys".

That's the HDL, and not the inherent design complexity.

Fediverse: https://mastodon.social/@elonjet

So this is the reason Threads users can't follow back inot the fedi!

See also https://www.cs.cmu.edu/afs/cs/academic/class/15740-f18/www/p... and Gharachorloo's thesis paper.

@sdbbp, thank you kindly for the references, both are excellent !

Probably "A Primer on Memory Consistency and Cache Coherence"

Hi, would you recommend this book in 2024?

FWIW, most of my recent knowledge on this topic comes from [0].

The programming-language-specific parts are more focused on C than C++ (which is my main focus), but I've still found it quite helpful.

I haven't looked at the other sources people are mentioning though, so no idea how it compares.

[0] https://cdn.kernel.org/pub/linux/kernel/people/paulmck/perfb...

Thank you, I will give your resource a read :)

You're welcome! But it's not a quick read.

At least for me, it requires (a) a good reason for powering through it, (b) a good night's sleep, and (c) Adderall :)

Just saying, it may not be the most effective / efficient way to learn what you want to know.

Ahaha, luckily /s I am a bit of a weirdo and I like to delve deeper into things related to my job.

I was taught that a deeper understanding leads to better software/solutions and I strive to live up to my mentor dedication :)

> I was taught that a deeper understanding leads to better software/solutions

aside from being fun, it just makes everything so much easier when it's not "magic"

Yes

It would be interesting to see this interact with the lower-level ISA memory model work in diy, litmus, etc. Could you validate your ISA memory models against the generated litmus tests in https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test6.pdf, https://github.com/litmus-tests/litmus-tests-riscv?

It should be quite possible to validate this way, although I would need to implement more ISA specific fences and features.

As mentioned in a sibling comment, I've moved away from the idea of building a model in Clojure and implementing separately, to a system in Rust where the model is the program with a compile time switch.

There were too many ways to introduce careless errors when doing a port. Although the opposite approach would have been to ingest compiled programs directly, or move to something higher level like WASM (once it gets more than SeqCst atomics).

If you like following historical diaries, @samuelpepys is hard to beat.

I used to go to Sundown yearly, a long time ago. I'm not saying it's great, but I did learn to ski there.

https://www.sundownmtn.com/the-mountain/snow-report-trail-ma...

Well there you go - see I learned today there's a ski hill in Dubuque!

There is also Snowstar in Andalusia, if Dubuque is too far.