Tootfinder

Verification of the Release-Acquire Semantics
Parosh Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
https://arxiv.org/abs/2506.08238 https://…

Verification of the Release-Acquire Semantics
The Release-Acquire (RA) semantics and its variants are some of the most fundamental models of concurrent semantics for architectures, programming languages, and distributed systems. Several steps have been taken in the direction of testing such semantics, where one is interested in whether a single program execution is consistent with a memory model. The more general verification problem, i.e., checking whether all allowed program runs are consistent with a memory model, has still not been stu…

Years ago, I moved to a place where I didn't speak the language. My initial strategy for dealing with interactions I didn't understand was to simply say "no." I figured this was safe - at least I wouldn't agree to something I didn't want. One day, as I was leaving my apartment with a friend, the guy across the hall asked me a question. "No," I said. He looked like I'd spit in his face then retreated to his apartment. My friend, dumbfounded, asked &quot…

What. The. Actual. Fuck. https://kolektiva.social/@alissaazar/114656946056668221

Alissa Azar (@alissaazar@kolektiva.social)
Attached: 2 images So yeah. Things started off as they usually do. Couldn’t check in online or at a kiosk. Got to the front desk to check in where I waited over 2 hours for them to get approval from TSA to let me through. Before leaving they asked if I was checking a bag. I said yes, one. They proceeded to charge me for the bag and sent me off with my boarding pass equipped with the SSSS stamp. Before I left they called me back and said TSA told them I had to take my checked bag with me to…

Aplicando prova aqui agora. Conferindo a lista de presença, notei que o número de assinaturas ali excedia em dois o número de alunos presentes. Fiquei confuso por um tempo, até entender que o aluno que assinou na posição 13 desenhou o algarismo três de uma forma esquisita, que mais parecia um 5, o que fez o aluno seguinte assinar como se fosse o número 16 rs.

DoorDash, Uber, and Grubhub agree to settle a 2021 lawsuit against New York City over its pandemic-era 15% cap to commissions and fees charged to restaurants (Malathi Nayak/Bloomberg)
https://www.bloomberg.com/news/articles/20

Dense matter in a holographic hard-wall model of QCD
Daisuke Fujii, Atsushi Hosaka, Akihiro Iwanaka, Tadakatsu Sakai, Motoi Tachibana
https://arxiv.org/abs/2506.06997

Dense matter in a holographic hard-wall model of QCD
A deeper understanding of QCD matter at strong coupling remains challenging due to its non-perturbative nature. To this end, we study a two-flavor holographic hard-wall model to investigate the properties of QCD at finite-density and zero temperature with a nonvanishing quark mass. A dense matter phase is described by a classical solution of the equations of motion in a homogeneous Ansatz. We apply holographic renormalization to formulate the holographic dictionary that relates UV boundary data…

« “I have read and agree to the Terms” is the biggest lie on the web. Together, we can fix that.»
This reminds me of how for openSNP we used to say that our ToS are “human-readable instead of being lawyer-readable”.
This collaborative effort tries to do the same for many large online services.
https://tosdr.org/en/

D1-brane correction to a line operator index
Yosuke Imamura, Akihiro Sei
https://arxiv.org/abs/2506.05788 https://arxiv.org/pdf/2506.…

D1-brane correction to a line operator index
Wilson line operators in the rank $k$ totally symmetric tensor representation of ${\cal N}=4$ $U(N)$ sypersymmetric Yang-Mills theories are expected to be realized as D3-branes expanded in $AdS_5$. Although there is a mismatch between the corresponding line operator indices even in the large $N$ and large $k$ limit, it is possible to calculate the finite $k$ correction on the AdS side as the contribution from D1-branes. We analyze D1-brane fluctuation modes and calculate the leading finite $k$ …

Une fois de plus, ma sélection de lecture n’est pas rationnelle. Si je vois un titre comme “Autodafé, comment les livres ont gâché ma vie” dans une librairie, mon sang ne fait qu’un tour. Autodafé, putain de merde, il va falloir se mettre en branle et réagir.
Après cette première réaction, ma raison reprend le dessus...
#livre

Fechando isso aqui agora pois hoje o dia vai render! rs