mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#ordering

0 posts0 participants0 posts today

I recently took a dive into #C11 #atomics to come up with alternative queue implementations not requiring locking some #mutex.

TBH, I have a hard time understanding the #memory #ordering constraints defined by C11. I mean, I code #assembler on a #mos6502 (for the #c64), so caches, pipelines and all that modern crap is kind of alien rocket science anyways 😆.

But seriously, they try to abstract from what the hardware provides (different kinds of memory barrier instructions, IMHO somewhat easier to understand), so the compiler can pick the appropriate one depending on the target CPU. But wrapping your head around their definition really hurts the brain 🙈.

Yesterday, I found a source telling me that #amd64 (or #x86 in general?) always has strong ordering for reads, so no matter which oderding constraint you put in your atomic_load and friends, the compiler will generate the same code and it will work. Oh boy, how should I ever verify my code works on e.g. aarch64 without owning such hardware?

@philosophy
#infinite #math

nice take in 2 1/2 open acccess pages,

wrt #philosophers were well advised to not limiting the scope of their attention to #cardinal #numbers when referring to the #math #infinite. equally important [besides #ordering #structures and especially #ordinal #numbers] are e.g. #measures on #infinite #Booelan #lattices [#probability only a special case of these]

link.springer.com/article/10.1

SpringerLinkLuck and Proportions of Infinite Sets - Erkenntnis

There's more than one kind of fool, distinguished by the ways in which they display their foolishness. Here's a piece in my Substack unpacking the useful distinction between "winter" and "summer" fools

gregorybsadler.substack.com/p/
#Wisdom #Foolishness #Reasoning #Prudence #Ordering

Gregory B. Sadler - That Philosophy Guy · Summer and Winter Fools and Their Forms of FoolishnessBy Gregory B. Sadler

‘It’s legal, there’s just no precedent’: the first US town to demand a rent decrease

The median rent for a two-bedroom apartment in Kingston hit $1,615 this year – roughly 25% more expensive than three years ago.

In Kingston, New York, #tenants say their survival depends on the city #ordering a #rent #reduction – something that’s never been done before

theguardian.com/us-news/2023/m

The Guardian‘It’s legal, there’s just no precedent’: the first US town to demand a rent decreaseBy Wilfred Chan