@hikingdude@mastodon.social2026-07-10 06:31:08
One of the typical scenes that we had throughout that day. The path wasn't always so well and broad like this. It often was narrow and more natural, but we also enjoyed walking along such sections.
The green was just amazing and calming. And I didn't even have to wait until there was noone else in the scene - it really isn't very frequented, so we could enjoy it all by our own
@arXiv_astrophCO_bot@mastoxiv.page2026-08-06 07:52:32
Non-Thermal Pressure due to Gas Motions in the Intracluster Medium: Confronting XRISM/Resolve with TNG-Cluster Simulations
Erwin T. Lau, Naomi Ota, Daisuke Nagai
https://arxiv.org/abs/2608.04757 https://arxiv.org/pdf/2608.04757 https://arxiv.org/html/2608.04757
arXiv:2608.04757v1 Announce Type: new
Abstract: Intracluster medium (ICM) gas motions probe cluster assembly, feedback, and non-thermal pressure support, but recent XRISM observations reveal velocity dispersions and non-thermal pressure fractions systematically lower than simulations predict, with extreme systems such as Abell 2029 falling below nearly all simulated clusters. Using the TNG-Cluster simulations, we show that the non-thermal pressure fraction depends sensitively on cool-core state and formation history, and provide a two-scale fitting function capturing both the inner cool-core suppression and outer rise of the radial profile. By forward-modeling mock XRISM observations and comparing them with both projected and intrinsic three-dimensional quantities, we find that azimuthal variations and projection effects contribute to the deficit in the observed velocity dispersion and non-thermal pressure fraction. This bias increases with radius and partially offsets the intrinsic outward rise in the true three-dimensional non-thermal pressure fraction. However, these effects cannot explain the extremely low values of the non-thermal pressure fraction observed in Abell 2029, which fall below approximately the 0th - 6th percentiles of the simulated cool-core cluster distribution at every measured radius under both the turbulence-only and turbulence-plus-bulk definitions. The remaining tension points to rare dynamical conditions or missing physics affecting the amplitude of gas motions in current ICM models.
toXiv_bot_toot
@marc@kirche.social2026-07-04 06:40:56
Nachbarschaftskino! Drei Termine - ein tolles Programm. 200 m vom Willi-Brandt-Platz entfernt in der Weißfrauen Diakoniekirche. Eintritt kostenlos! Gezeigt werden Kurzfilme junger internationaler Filmschaffender, viele von ihnen mit eigener Migrationsgeschichte. Sie erzählen von Aufbruch und Ankommen, von Heimat, Identität und dem Leben in einer neuen Stadt.
@nohillside@smnn.ch2026-06-29 05:40:16
„Eidg. dipl. InfluencerIn“ 🤣
@CubitOom@social.linux.pizza2026-07-27 16:32:42
Tearing families apart, so concentration camps can profit, targeting non-criminal people following the correct legal processes is a recurring theme in our fascist USA
Video Source
https://reddit.com/comments/1v7cus4
@arXiv_csPL_bot@mastoxiv.page2026-07-22 07:37:04
Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
Janggun Lee, Jeehoon Kang
https://arxiv.org/abs/2607.18727 https://arxiv.org/pdf/2607.18727 https://arxiv.org/html/2607.18727
arXiv:2607.18727v1 Announce Type: new
Abstract: Out-of-order multiprocessor is a critical piece of modern hardware, and their verification must solve the following challenges. First, inter-core interleaving, in which the order their reads and writes reach shared memory is unrestricted. Second, intra-core out-of-order execution, in which instructions fire out of program order. The combination of the two yields weak outcomes, which no sequential execution explains, and modern ISA allows such behaviors to account for them. However, the microarchitecture even exhibits excess out-of-order executions, temporarily entering states forbidden by the ISA. While discarded later, such states complicate reasoning about the core in full-system verification. Prior works verify a range of processor designs, while none have performed unbounded verification for out-of-order multiprocessor exhibiting such weak outcomes.
We present the first formal verification of an out-of-order multiprocessor against an in-order, weak-memory ISA. Our key idea is a well-designed core specification, which captures the essence of excess executions in a single list of instructions. Building upon this, we decompose the proof into two steps. The first is a core refinement, proving a core implementation against this specification, abstracting away every microarchitectural state except those necessary to reason about excess executions and the core interface. The second is a system inclusion, serializing the out-of-order memory executions and inter-core interleaving into the ISA, easily removing excess executions thanks to the core specification. All of our proofs are mechanized in Rocq, heavily utilizing large language model (LLM) agents to write proofs automatically.
toXiv_bot_toot
@pre@boing.world2026-06-18 21:09:43
Well, the Makerfield by-election is over. Voting just closed.
I don't live there, but if I did I think you gotta vote Labour in order to destroy this Labour government.
Which is in itself pretty mad. Demonstrating the utterly broken nature of the whole political system.
This is surely the only circumstance in which I switch away from the Greens.
As I said last month, they absolutely should have stood and spoke in front of every camera pointed at the constituency. Dunno that they managed the second part. I didn't see much of her myself, certainly.
Anyway, the point is that there's only one candidate at this election which has any chance at all of changing the direction of this government.
None of the others might be Prime Minister by autumn. Nobody else who wins can do that. There's only one candidate who can probably unseat the failing prime minister.
Would be voting more in hope than expectation of course.
He won't be very different. Certainly he's the same on Israel's genocide, on taxing wealth, on fiscal rules preventing government investment, on private industry being better than government owned industry, on capitalism, on the bond market, on the monarchy, on the pointless drug war, on conflating protest with terrorism, on the house of lords, on AI, on Free Software, on copyright, on age-gating and surveilling the internet.
But maybe that one difference, "public 'control' without ownership of industry" is at least a bit better than just Starmer thinking the state is powerless against American AI? He might try a bit harder to build more houses?
So not voting in expectation of anything really changing here, but voting for the only candidate who will even be in a position to try.
If you dislike Starmer and prefer any of the other candidates, if you prefer Greens, or Conservatives, or Restore, or Reform, or Lib Dem, or anarchy or antifa or woke then you should vote for the Labour Party candidate to cause Starmer's downfall.
You should only be voting against Starmer's Labour Party if you are happy with Starmer's Labour government and want Starmer to stay.
And only like 75,000 people even get to mark a ballot.
"Restore" are the splitters from Reform (who are in turn the Nativist right wing party splitters from the Conservatives).
They left Reform because Reform weren't racist enough for them, mostly. Their vote count is key here. Will their vote be higher than the Labour/Reform margin?
I think probably it will.
So the Restore Party is the spoiler that forces the PM out of office by splitting the nazi vote and allowing in a challenger to the PM.
Insane election. 😵💫
Apparently nobody conducted an exit poll, so we'll find out in the morning.
#ukpol #makerfield
@arXiv_astrophGA_bot@mastoxiv.page2026-07-21 09:39:17
Replaced article(s) found for astro-ph.GA. https://arxiv.org/list/astro-ph.GA/new
[1/3]:
- CO Observations of Early-mid Stage Major Mergers in the MaNGA Survey
Yu, Fang, Xu, Feng, Feng, Gao, Jiang, Lisenfeld
https://arxiv.org/abs/2404.18999 https://mastoxiv.page/@arXiv_astrophGA_bot/112364597912941989
- A first systematic study of [OIII] 88$\mu$m at $z>8$: two luminous oxygen lines and a powerful io...
Hiddo S. B. Algera, et al.
https://arxiv.org/abs/2512.14486 https://mastoxiv.page/@arXiv_astrophGA_bot/115734347184965000
- Electron temperature relations and the direct N, O, Ne, S and Ar abundances of 49959 star-forming...
D. Scholte, et al.
https://arxiv.org/abs/2601.02463 https://mastoxiv.page/@arXiv_astrophGA_bot/115852861581257007
- The Role of Inner Halo Angular Momentum (Spin) in Shaping Dark Matter Bars in Milky Way Analogs
Shouvik Ghosh, Sandeep Kumar Kataria
https://arxiv.org/abs/2601.14420 https://mastoxiv.page/@arXiv_astrophGA_bot/115938036617000433
- GA-NIFS: Dissecting The Alchemised: JWST reveals turbulent metal-poor gas fuelling a co-spatial s...
Robert G. Pascalau, et al.
https://arxiv.org/abs/2603.00232 https://mastoxiv.page/@arXiv_astrophGA_bot/116164296791419745
- The Star Formation History of WLM from Asymptotic Giant Branch Stars and The Discovery of a Candi...
Abigail J. Lee, Daniel R. Weisz, Andrew E. Dolphin, Alessandro Savino
https://arxiv.org/abs/2603.00243 https://mastoxiv.page/@arXiv_astrophGA_bot/116164584608441374
- Two Exciting High-redshift Galaxy Candidates Turn Out to Be Two Exciting Ultra-cool Brown Dwarfs
Maru\v{s}a Brada\v{c}, et al.
https://arxiv.org/abs/2604.23668 https://mastoxiv.page/@arXiv_astrophGA_bot/116481375281380996
- PEARLS: JWST Counterparts of Micro-Jy Radio Sources in the NEP Time Domain Field. II. All Four Sp...
S. P. Willner, et al.
https://arxiv.org/abs/2605.17040 https://mastoxiv.page/@arXiv_astrophGA_bot/116600246884579228
- Eppur non si trovano Vol. 3: Phoebe -- a Mirage of a Primordial Black Hole
Andrzej Udalski, Przemek Mr\'oz
https://arxiv.org/abs/2606.19442 https://mastoxiv.page/@arXiv_astrophGA_bot/116775643602203820
- LEGGOS I: The JWST LEGGOS Survey -- LEnsing and Galaxy Growth: Observing Substructures -- Unpacks...
Gourav Khullar, et al.
https://arxiv.org/abs/2606.20845 https://mastoxiv.page/@arXiv_astrophGA_bot/116798485365000724
toXiv_bot_toot