Tootfinder

Searching for #News in the #Fediverse? I have now collected 1043 official/verified accounts by media organizations and the number is still growing.
They are not only on #Mastodon or

'[T]the standard it proposes has no fixed boundaries. No definition of danger. No threshold for entry. No requirement that the belief be verified, or even verifiable. If the court adopts it, ICE will will be one of the many law enforcement agencies not needing a warrant. It will only need a justification. A welfare call. A safety tip. A closed door. A silence misread or claimed as threat.'
The Supreme Court might turbocharge ICE more than Trump’s big bill.
https://slate.com/news-and-politics/2025/07/supreme-court-ice-trump-big-bill-deportations.html

The importance of the dynamical corotation torque for the migration of low-mass planets -- 1D analytical prescriptions verified by 2D hydrodynamical simulations
Jesse Weder, Cl\'ement Baruteau, Christoph Mordasini
https://arxiv.org/abs/2507.02050

The importance of the dynamical corotation torque for the migration of low-mass planets -- 1D analytical prescriptions verified by 2D hydrodynamical simulations
Recent developments suggested that planet formation occurs in regions of the discs with low turbulent viscosity. There, the dynamical corotation torque is thought to play an important role by slowing down type I migration. We aim to provide a simple analytical prescription for the dynamical corotation torque for use in 1D global models of planet formation and evolution, and assess the importance of the dynamical corotation torque for the migration of low-mass planets in low-viscosity discs. We …

TL;DR Amazon's SES in sandbox mode only sends to validated addresses and identities defined in the configuration.
https://winkelwagen.de/2025/05/29/aws-ses-message-rejected-email-address-is-not-verified/

AWS SES Message rejected: Email address is not verified.
I configured one of our Magento 2 stage instances today to use Amazon SES to send emails instead of dumping them into mailhog. But I got the following error: Message rejected: Email address is not …

This https://arxiv.org/abs/2505.01329 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Semileptonic Decays of $D \to ρl^+ ν$ and $D_{(s)} \to K^\ast l^+ ν$ from Light-Cone Sum Rules
We investigate the semileptonic decays of charmed mesons to light vector mesons within the framework of light-cone sum rules. Our calculation is performed at leading order in QCD coupling, incorporating contributions up to twist-five accuracy from both two-particle and three-particle light-cone distribution amplitudes. Transition form factors are predicted twist by twist to assess the convergence property of the operator product expansion. It is verified that the twist-four and twist-five contr…

This https://arxiv.org/abs/2501.14478 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_…

Alignment and optical verification of DESHIMA 2.0 at ASTE
We developed, characterized, and verified an alignment procedure for the DESHIMA 2.0 instrument, an ultra wide-band spectrometer operating between 200--400 GHz, at the ASTE telescope. To this end, we mounted the warm optics, consisting of a modified Dragonian dual reflector system, on a motor controlled hexapod. Crucial in the alignment procedure is our sky chopper, which allows fast beam switching. It has a small entrance and exit aperture coupling to (cold) sky, which creates a measurable sig…

Test of conformal gravity as an alternative to dark matter from the observations of elliptical galaxies
Li-Xue Yue, Da-Ming Chen
https://arxiv.org/abs/2506.03955

Test of conformal gravity as an alternative to dark matter from the observations of elliptical galaxies
As an alternative gravitational theory to General Relativity (GR), the Conformal Gravity (CG) has recently been successfully verified by observations of Type Ia supernovae (SN Ia) and the rotation curves of spiral galaxies. The observations of galaxies only pertain to the non-relativistic form of gravity. In this context, within the framework of the Newtonian theory of gravity (the non-relativistic form of GR), dark matter is postulated to account for the observations. On the other hand, the no…

Nernst effect and its thickness dependence in superconducting NbN films
Thomas Bouteiller, Arthur Marguerite, Ramzy Daou, Dmitry Yakovlev, Cheryl Feuillet-Palma, Dimitri Roditchev, Beno\^it Fauqu\'e, Kamran Behnia
https://arxiv.org/abs/2506.03975

Nernst effect and its thickness dependence in superconducting NbN films
Superconducting thin films and layered crystals display a Nernst signal generated by short-lived Cooper pairs above their critical temperature. Several experimental studies have broadly verified the standard theory invoking Gaussian fluctuations of a two-dimensional superconducting order parameter. Here, we present a study of the Nernst effect in granular NbN thin films with a thickness varying from 4 to 30 nm, exceeding the short superconducting coherence length and putting the system in the t…

This https://arxiv.org/abs/2410.05605 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

CodeDPO: Aligning Code Models with Self Generated and Verified Source Code
Code generation models have shown significant potential for programming tasks. However, existing training methods like supervised fine-tuning face key limitations: they do not effectively teach models to prioritize correct over incorrect solutions in ambiguous situations, nor do they effectively optimize the runtime efficiency of the generated code. To address these challenges, we propose CodeDPO, a framework that integrates preference learning into code generation to improve two key code prefe…

This https://arxiv.org/abs/2501.08249 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Verifying Device Drivers with Pancake
Device driver bugs are the leading cause of OS compromises, and their formal verification is therefore highly desirable. To the best of our knowledge, no realistic and performant driver has been verified for a non-trivial device. We propose Pancake, an imperative language for systems programming that features a well-defined and verification-friendly semantics. Leveraging the verified compiler backend of the CakeML functional language, we develop a compiler for Pancake that guarantees that the b…

@…
If you want to be verified on Mastodon I can assist you with how to get verified through KeyOxide.
You can see that on my profile I'm verified there.
It uses public key cryptography...I've seen plenty of people on Mastodon that use KeyOxide.
#lichess

Applied Supersymmetry
V. P. Berezovoj, A. J. Nurmagambetov
https://arxiv.org/abs/2507.02081 https://arxiv.org/pdf/2507.02081

Applied Supersymmetry
Supersymmetry is one of the most important and indispensable ingredients of modern theoretical physics. However, the absence, at least at the time of publishing this review, of experimental verification of supersymmetry in elementary particle/high-energy physics casts doubt on the viability of this concept at the energies achievable at the LHC. The more unexpected are either already experimentally verified or proposed for verification manifestations of supersymmetry at the level of low (condens…

Uncertainty-Aware Complex Scientific Table Data Extraction
Kehinde Ajayi, Yi He, Jian Wu
https://arxiv.org/abs/2507.02009 https://arx…

Uncertainty-Aware Complex Scientific Table Data Extraction
Table structure recognition (TSR) and optical character recognition (OCR) play crucial roles in extracting structured data from tables in scientific documents. However, existing extraction frameworks built on top of TSR and OCR methods often fail to quantify the uncertainties of extracted results. To obtain highly accurate data for scientific domains, all extracted data must be manually verified, which can be time-consuming and labor-intensive. We propose a framework that performs uncertainty-a…

#MutualAid: https://mstdn.social/@catgirlfingies/114778730186175866

Welp, got another device to get working under Linux. The new rudder pedals came in: Honeycomb Aeronautical Charlie Rudder Pedal. I can see inputs coming in from the device, the `/dev/hidraw` permissions are perfect, but outside of that there is nothing.
Verified the registry settings in MSFS 24 but MSFS also doesn't see the pedals unfortunately. Very frustrating.
#linux

Um petroleiro chamado... Vilamoura?! 🤪
https://mstdn.social/@Free_Press/114777787333496781

Aure Free Press :verified: (@Free_Press@mstdn.social)
Attached: 1 image A tanker that called at the Russian ports suffered an explosion while near Libya The Vilamoura, hauling 1 million barrels of oil, is being towed to Greece, where damage will be assessed upon arrival. The cause of the blast is unclear, but it caused water intake and the vessel's engine room is flooded. Four other vessels have suffered explosions this year, all had recently docked at Russian ports #AureFreePress #News #press #headline #Ukraine #Russia #Putin #EU #NATO

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Moon Kim, Avinash Malik, Partha Roop
https://arxiv.org/abs/2506.00251

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their distinct advantages. For example, frequency domain modelling is better suited for control systems, using features such as spectra of the signal. Considering this, we introduce, for the first time, a formal model called frequency automata for hybrid systems modelling and simulation, which are represented in combined t…

This https://arxiv.org/abs/2506.03975 has been replaced.
initial toot: https://mastoxiv.page/@a…

Nernst effect and its thickness dependence in superconducting NbN films
Superconducting thin films and layered crystals display a Nernst signal generated by short-lived Cooper pairs above their critical temperature. Several experimental studies have broadly verified the standard theory invoking Gaussian fluctuations of a two-dimensional superconducting order parameter. Here, we present a study of the Nernst effect in granular NbN thin films with a thickness varying from 4 to 30 nm, exceeding the short superconducting coherence length and putting the system in the t…

This https://arxiv.org/abs/2411.09088 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Precision bounds for multiple currents in open quantum systems
Thermodynamic (TUR) and kinetic (KUR) uncertainty relations are fundamental bounds constraining the fluctuations of current observables in classical, non-equilibrium systems. Several works have verified, however, violations of these classical bounds in open quantum systems, motivating the derivation of new quantum TURs and KURs that account for the role of quantum coherence. Here, we go one step further by deriving multidimensional KUR and TUR for multiple observables in open quantum systems un…

A Miniature High-Resolution Tension Sensor Based on a Photo-Reflector for Robotic Hands and Grippers
Hyun-Bin Kim, Kyung-Soo Kim
https://arxiv.org/abs/2507.00464

A Miniature High-Resolution Tension Sensor Based on a Photo-Reflector for Robotic Hands and Grippers
This paper presents a miniature tension sensor using a photo-reflector, designed for compact tendon-driven grippers and robotic hands. The proposed sensor has a small form factor of 13~mm x 7~mm x 6.5~mm and is capable of measuring tensile forces up to 200~N. A symmetric elastomer structure incorporating fillets and flexure hinges is designed based on Timoshenko beam theory and verified via FEM analysis, enabling improved sensitivity and mechanical durability while minimizing torsional deformat…

🇺🇦 #NowPlaying on KEXP's #DriveTime
Toro y Moi:
🎵 Rose Quartz (Instrumental)
#ToroyMoi
https://masterswami.bandcamp.com/track/toro-y-moi-rose-quartz-two-step-verified
https://open.spotify.com/track/4zhQpcdgO2OFUMRzcgSJu1

PANDAS: Peer-to-peer, Adaptive Networking for Data Availability Sampling within Ethereum Consensus Timebounds
Matthieu Pigaglio, Onur Ascigil, Micha{\l} Kr\'ol, Sergi Rene, Felix Lange, Kaleem Peeroo, Ramin Sadre, Vladimir Stankovic, Etienne Rivi\`ere
https://arxiv.org/abs/2507.00824…

PANDAS: Peer-to-peer, Adaptive Networking for Data Availability Sampling within Ethereum Consensus Timebounds
Layer-2 protocols can assist Ethereum's limited throughput, but globally broadcasting layer-2 data limits their scalability. The Danksharding evolution of Ethereum aims to support the selective distribution of layer-2 data, whose availability in the network is verified using randomized data availability sampling (DAS). Integrating DAS into Ethereum's consensus process is challenging, as pieces of layer-2 data must be disseminated and sampled within four seconds of the beginning of each consensu…

Quantize-Sample-and-Verify: LLM Acceleration via Adaptive Edge-Cloud Speculative Decoding
Guangyi Zhang, Yunlong Cai, Guanding Yu, Petar Popovski, Osvaldo Simeone
https://arxiv.org/abs/2507.00605

Quantize-Sample-and-Verify: LLM Acceleration via Adaptive Edge-Cloud Speculative Decoding
In edge-cloud speculative decoding (SD), edge devices equipped with small language models (SLMs) generate draft tokens that are verified by large language models (LLMs) in the cloud. A key bottleneck in such systems is the limited communication bandwidth between edge and cloud, which necessitates quantization of the information transmitted about generated tokens. In this work, we introduce a novel quantize-sample (Q-S) strategy that provably preserves the output distribution of the cloud-based …

On Base, Normal and Near-normal Sequences
Xu Wang, Jiayi Zhu
https://arxiv.org/abs/2506.20296 https://arxiv.org/pdf/2506.20296…

On Base, Normal and Near-normal Sequences
The base sequences BS(n+1,n) are four sequences of $\pm1$ and lengths n+1,n+1,n,n with zero auto correlation. The base sequence conjecture states that BS(n+1,n) exists for all integers $n>0$ and has been verified for $n\le40$. We present our algorithm and gives construction of BS(n+1,n) for $n=41,42,43$. The Normal sequences NS (n) and the Near-normal sequences NNS (n) are subclasses of BS(n+1,n). Yang conjecture asserts that there is a NNS(n) for each even integer n and has been verified for…

Spending Behavior and Economic Impacts of Urban Digital Consumption Vouchers
Ming-Huan Liou, Shou-Yung Yin, Hsiang-Wen Mao
https://arxiv.org/abs/2506.01385

Spending Behavior and Economic Impacts of Urban Digital Consumption Vouchers
This paper evaluates the Taipei Bear Vouchers 2.0 program using verified user-level survey data and a regional input-output model to assess the effectiveness of consumption vouchers as a fiscal stimulus tool. We focus on three key behavioral mechanisms: expenditure substitution, induced consumption, and the intensity of treatment through varying voucher face values. Our findings show that voucher effectiveness differs by type. Accommodation vouchers stimulate the most additional spending due to…

Multiple solutions for Schr{\"o}dinger-Poisson-Slater equations with critical growth
Shibo Liu
https://arxiv.org/abs/2507.00295 https://

Multiple solutions for Schr{ö}dinger-Poisson-Slater equations with critical growth
We obtain multiple solutions for the zero mass Schr{ö}dinger-Poisson-Slater equation \[ - Δu + \left( \frac{1}{4 π| x |} \ast u^2 \right) u = λg (x) | u |^{p - 2} u + | u |^{6 - 2} u \text{, \ \ \ \ } u \in \mathcal{D}^{1, 2} (\mathbb{R}^3) \text{} \] for $λ\gg 1$, where $p \in (4, 6)$ and $g \in L^{6 / (6 - p)} (\mathbb{R}^3)$. The crucial (PS)$_c$ condition is verified using a simpler method. Similar multiplicity result is also obtained for related equation …

This https://arxiv.org/abs/2007.07190 has been replaced.
link: https://scholar.google.com/scholar?q=a

Anomalous dimensions for $ϕ^n$ in scale invariant $d=3$ theory
Recently it was shown that the scaling dimension of the operator $ϕ^n$ in scale-invariant $d=3$ theory may be computed semiclassically, and this was verified to leading order (two loops) in perturbation theory at leading and subleading $n$. Here we extend this verification to six loops, once again at leading and subleading $n$. We then perform a similar exercise for a theory with a multiplet of real scalars and an $O(N)$ invariant hexic interaction. We also investigate the strong-coupling regi…

I have been assured by multiple “#email marketers” that this is absolutely false. /s https://infosec.exchange/@SheHacksPurple/114649418433773251

Analysis of spectral modification of $\phi$ mesons at finite density using a transport approach in the 12 GeV pA reactions
PS E325 Collaboration, Masaya Ichikawa (JAEA, KEK), Philipp Gubler (JAEA), Junsei Chiba (KEK), Hideto En'yo (RIKEN), Yoshinori Fukao (Kyoto Univ), Haruhiko Funahashi (Kyoto Univ), Hideki Hamagaki (CNS), Masaharu Ieiri (KEK), Masaya Ishino (Kyoto Univ), Hiroki Kanda (Kyoto Univ), Masaaki Kitaguchi (Kyoto Univ), Satoshi Mihara (Kyoto Univ), Koji Miwa (Kyoto Univ)…

Analysis of spectral modification of $ϕ$ mesons at finite density using a transport approach in the 12 GeV pA reactions
The hadron spectrum at finite density is an important observable for exploring the origin of hadron masses. In the KEK-PS E325 experiment, the di-electron decays of phi mesons inside and outside nuclei were measured using 12 GeV pA reactions. In the previous analysis, a significant excess was observed on the low-mass side of the phi meson peak in the data for slow-moving phi mesons ($βγ=p_ϕ/m_ϕ<1.25$) with the Cu target, and in-medium vector meson spectral modification was verified. We newl…

Towards Explainable Sequential Learning
Giacomo Bergami, Emma Packer, Kirsty Scott, Silvia Del Din
https://arxiv.org/abs/2505.23624 https://

Towards Explainable Sequential Learning
This paper offers a hybrid explainable temporal data processing pipeline, DataFul Explainable MultivariatE coRrelatIonal Temporal Artificial inTElligence (EMeriTAte+DF), bridging numerical-driven temporal data classification with an event-based one through verified artificial intelligence principles, enabling human-explainable results. This was possible through a preliminary a posteriori explainable phase describing the numerical input data in terms of concurrent constituents with numerical pay…

This https://arxiv.org/abs/2505.16968 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAR_…

CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark
We introduce \texttt{CASS}, the first large-scale dataset and model suite for cross-architecture GPU code transpilation, targeting both source-level (CUDA~$\leftrightarrow$~HIP) and assembly-level (Nvidia SASS~$\leftrightarrow$~AMD RDNA3) translation. The dataset comprises 70k verified code pairs across host and device, addressing a critical gap in low-level GPU code portability. Leveraging this resource, we train the \texttt{CASS} family of domain-specific language models, achieving 95\% sourc…

❤️
From: @…
https://mstdn.social/@Strandjunker/114370900479273071

🇺🇦 #NowPlaying on #BBC6Music's #6MusicArtistCollection
Solange:
🎵 Cranes In The Sky
#Solange
https://masterswami.bandcamp.com/track/solange-cranes-in-the-sky-two-step-verified
https://open.spotify.com/track/48EjSdYh8wz2gBxxqzrsLe

Oh shit, hier geht meine beste sarkastische Response auf bestimmte Aussagen in Diskussionen dahin.
Auf zB. "die irrsinnige Regulation von Rauchen überall sollte abgeschafft werden" hab ich oft geantwortet "genau, und ich will daheim auch endlich wieder Asbest verbauen dürfen".
Jetzt bleiben mir fast nur mehr die Varianten mit Thalidomid/Contergan, aber irgendwie hab ich die Befürchtung, dass ich mir auch das in Zukunft bald von der Liste nehmen kann 😕

Measuring Modern Phishing Tactics: A Quantitative Study of Body Obfuscation Prevalence, Co-occurrence, and Filter Impact
Antony Dalmiere (LAAS), Zheng Zhou (LAAS), Guillaume Auriol (LAAS-TRUST, INSA Toulouse), Vincent Nicomette (LAAS-TSF, LAAS-TRUST), Pascal Marchand (LERASS, IUT Paul Sabatier)
https://arxiv.org/abs/2506.20228…

Measuring Modern Phishing Tactics: A Quantitative Study of Body Obfuscation Prevalence, Co-occurrence, and Filter Impact
Phishing attacks frequently use email body obfuscation to bypass detection filters, but quantitative insights into how techniques are combined and their impact on filter scores remain limited. This paper addresses this gap by empirically investigating the prevalence, co-occurrence patterns, and spam score associations of body obfuscation techniques. Analysing 386 verified phishing emails, we quantified ten techniques, identified significant pairwise co-occurrences revealing strategic layering l…

I’m dubious that BlueSky is pleased that JD Vance joined.
Meanwhile, their moderation tools are holding up damned well.
The account was initially banned, as an impersonation. Then it was verified.
Most people are reporting it was already blocked because they were using one of the many shared “MAGA” block lists.
And he’s in second place as the most blocked person on the site in less than 24h.

This https://arxiv.org/abs/2501.06234 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csOS_…

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
We present LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separa- tion of concerns and a focus on simplicity. We demonstrate that LionsOS achieves excellent performance on system-call intensive workloads.

Statistical Strong Lensing as a Test of Conformal Gravity
Li-Xue Yue, Da-Ming Chen
https://arxiv.org/abs/2506.21019 https://arxiv.org…

Statistical Strong Lensing as a Test of Conformal Gravity
As an alternative gravitational theory to General Relativity (GR), Conformal Gravity (CG) can be verified through astronomical observations. Currently, Mannheim and Kazanas have provided vacuum solutions for cosmological and local gravitational systems, and these solutions may resolve the dark matter and dark energy issues encountered in GR, making them particularly valuable. For static, spherically symmetric systems, CG predicts an additional linear potential generated by luminous matter in ad…

I've been using ClickUp for a few months now...and like every other productivity tool I've used over the last number of years it has its pros and cons.
It's got a lot of features but sometimes pretty basic features don't "just work" - and that makes me unhappy. 🙁
For example, right now I have some recurring tasks that will not allow an update to their due date manually. If I set a new date it resets back to the original date. Even more concerning is that this isn't clear from the UI.
The UI acts as if the change was successful but a page refresh reveals the change didn't save.
But the real reason I wanted to post wasn't about ClickUp particularly but about chatbots in general. They verified that my issue was an actual bug and created a ticket for it but the way I've been instructed to view the ticket status is by opening the chatbot, telling it I want information on my ticket (pasting in the ticket ID) and after doing all that I get this
5/6: Umm, no. I want to see an actual ticket please. I don't want to have to talk to a chatbot to see it. Chatbots really are great for a lot of things (during the free trial of ClickUp I found the chatbot quite helpful in learning how to do things without searching through docs) but this sort of "there is a direct record", please no. Or let me paste it in and do the lookup immediately - and provide a permalink so I don't need to chat every time!
I'm sticking with ClickUp at the moment, but one of these days when I magically get a large amount of free time, I'm going to write my own solution...I've only been saying that for a few years now. ;-)
#clickup #productivity #chatbots #projectmanagement #tasks

#IsraelIsATerroristState #BoycottIsrael #IsraeliWarCrimes #FreePalestine

"Shein sets SBTi-verified emissions targets"
#Shein #FastFashion #Clothes #Emissions

AgentFacts: Universal KYA Standard for Verified AI Agent Metadata & Deployment
Jared James Grogan
https://arxiv.org/abs/2506.13794 https://

AgentFacts: Universal KYA Standard for Verified AI Agent Metadata & Deployment
Enterprise AI deployment faces critical "Know Your Agent" (KYA) challenges where organizations must verify third-party agent capabilities and establish trust without standardized metadata or verification infrastructure. Current approaches rely on self-declared capabilities and custom integration processes that create trust gaps and coordination friction limiting confident enterprise adoption. This paper presents AgentFacts, a universal metadata standard that enables systematic agent verificatio…

WBD plans to shut down its linear multiplex channels HBO Family, ThrillerMax, MovieMax, and OuterMax on August 15, 2025; HBO Family launched in December 1996 (Luke Bouma/Cord Cutters News)
https://cordcuttersnews.com/hbo-is-shutting-do…

HBO Is Shutting Down Multiple Channels Including HBO Family & More | Cord Cutters News
In a significant shakeup for the television industry, HBO, a subsidiary of Warner Bros. Discovery, has confirmed plans to shut down several of its linear channels, including HBO Family, ThrillerMax, MovieMax, and OuterMax. The announcement, verified by Spectrum on August 15, 2025, marks a strategic pivot for the premium network as it continues to adapt […]

this water tower turns out to be in arques on rue la fontaine (heh)
arques is the home of arc / luminarc / arcoroc crystal glass manufacturing
https://piaille.fr/@waldokanto/114640763979645639

Waldo Kanto :verified: (@waldokanto@piaille.fr)
Attaché : 1 image Liminalia hypernova 330

This test verification worked...
"3rd Keyoxide test"
https://keyoxide.org/aspe:keyoxide.org:UL4KVCWXS27N3JZYWZ7Q2L247M
Thus, you can get verified on Mastodon using Keyoxide but how fast you'll be verified or not I can't predict at th…

I'm pretty floored by journalists on NYT Hard Fork asking @… how she could research a book without ChatGPT or generative AI.
The evidence is quite clear that these tools add plausible-sounding falsehoods to text and journalists have a special responsibility to not contaminate the stream of verified facts.

This https://arxiv.org/abs/2502.11216 has been replaced.
initial toot: https://mastoxiv.page/@a…

Exploring nonlinearities in a positive ion-negative ion (PINI) plasma: can other processes mimic debris-induced effects?
In this work, an analysis of nonlinear waves and structures induced by an external charged debris in a positive ion-negative ion (PINI) plasma is presented. The results obtained are compared with findings from available experiments involving PINI plasma. The process of formation of different nonlinear structures is examined theoretically through a forced Korteweg-de Vries (fKdV) equation, which is also verified with a multi-fluid flux-corrected transport simulation code mFCT. Various processes …

🇺🇦 #NowPlaying on #BBC6Music's #6MusicArtistInResidence
Solange:
🎵 Cranes In The Sky
#Solange
https://masterswami.bandcamp.com/track/solange-cranes-in-the-sky-two-step-verified
https://open.spotify.com/track/48EjSdYh8wz2gBxxqzrsLe

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
https://arxiv.org/abs/2506.09550

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Function summaries, which characterize the behavior of code segments (typically functions) through preconditions and postconditions, are essential for understanding, reusing, and verifying software, particularly in safety-critical domains like aerospace embedded systems. However, these mission-critical legacy code serving as a valuable reused asset often lacks formal specifications. It is challenging to automatically generate function summaries for C programs, due to the existence of complex fe…

There are some people on #SubStack that I really want to follow, so I've been doing that, despite them harbouring Nazis (I have not verified this, and it is not my point here). What will get me to quit is the total mess of dark patterns that is their user-experience. *Vile* !

StepProof: Step-by-step verification of natural language mathematical proofs
Xiaolin Hu, Qinghua Zhou, Bogdan Grechuk, Ivan Y. Tyukin
https://arxiv.org/abs/2506.10558

StepProof: Step-by-step verification of natural language mathematical proofs
Interactive theorem provers (ITPs) are powerful tools for the formal verification of mathematical proofs down to the axiom level. However, their lack of a natural language interface remains a significant limitation. Recent advancements in large language models (LLMs) have enhanced the understanding of natural language inputs, paving the way for autoformalization - the process of translating natural language proofs into formal proofs that can be verified. Despite these advancements, existing aut…

Benchmarking of Oxygen Adsorption using TPD Spectroscopy for Accurate DFT Prediction of ORR on Anatase Titanium Dioxide (101)
Shibghatullah Muhammady, Jun Haruyama, Shusuke Kasamatsu, Osamu Sugino
https://arxiv.org/abs/2506.18225

Benchmarking of Oxygen Adsorption using TPD Spectroscopy for Accurate DFT Prediction of ORR on Anatase Titanium Dioxide (101)
Despite the wide use of first-principles calculations to elucidate catalytic reaction mechanisms, the reliability of the theory remains unknown for reactions that initiate with O$_2$ adsorption, as few papers in the literature have systematically verified the accuracy of the calculations. Here, we have overcome this issue by comparing calculated O$_2$ adsorption energy ($E_{\text{ads}}$) to simulated $E_{\text{ads}}$ distribution from experimental temperature-programmed desorption (TPD) spectru…

Coordinate-energy transformation and the one-point function for the Heisenberg-Ising XXZ spin-1/2 chain on the ring
Eric I. Corwin, Nikolaus Elsaesser, Axel Saenz
https://arxiv.org/abs/2506.14171

Coordinate-energy transformation and the one-point function for the Heisenberg-Ising XXZ spin-1/2 chain on the ring
We provide a basis transformation that inverts the coordinate Bethe Ansatz. It is widely believed that the Bethe Ansatz is complete, based on numerical evidence and combinatorial arguments. We present a constructive and comprehensive approach to show that the Bethe Ansatz is complete. The transformation formula is verified numerically with excellent accuracy for non-zero anisotropy parameters and rings of odd length. Additionally, assuming the Bethe Ansatz is complete, we derive a novel exact f…

Not so much, really.
This is yet another case of an academic setting up a very special circumstance that doesn’t match the real world to create a “vulnerability” that is never going to be used in the real world.
Ever been in a proper data center? Was it quiet?
#InfoSec

"Images verified by The Washington Post show that at least five residential buildings in Tehran appear to have been damaged by Israeli strikes. "
Israel strikes Iran’s nuclear sites, kills military leaders; Trump urges for deal: Live updates - The Washington Post
https://www.washingtonpost.com/world/2025/06/12/israel-attacks-iran-tehran-explosions/#link-TXFBA7VYLVGVBNJLB4AWY4VRNE

This https://arxiv.org/abs/2505.16968 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csAR_…

CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark
We introduce \texttt{CASS}, the first large-scale dataset and model suite for cross-architecture GPU code transpilation, targeting both source-level (CUDA~$\leftrightarrow$~HIP) and assembly-level (Nvidia SASS~$\leftrightarrow$~AMD RDNA3) translation. The dataset comprises 70k verified code pairs across host and device, addressing a critical gap in low-level GPU code portability. Leveraging this resource, we train the \texttt{CASS} family of domain-specific language models, achieving 95\% sourc…

@…
I'm trying to figure out how to make the keyoxide.org appear as verified like it is on aspensmonster@tenforward.social.
I'm attaching an image so you don't have to visit the profile but you can see that my image and the profile both show the "verified" thing that Mastodon's system supports.
Do you know how we can make it green like …

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
https://arxiv.org/abs/2506.15961

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Training large language models (LLMs) at scale requires parallel execution across thousands of devices, incurring enormous computational costs. Yet, these costly distributed trainings are rarely verified, leaving them prone to silent errors and potentially wasting millions of GPU hours. We introduce TrainVerify, a system for verifiable distributed training of LLMs. Given a deep learning model's logical specification as the ground truth, TrainVerify formally verifies that a distributed parallel …

SOT Enabled 3D Magnetic Field Sensor with Low Offset and High Sensitivity
Sebastian Zeilinger, Johannes G\"uttinger, Klemens Pr\"ugl, Michael Kirsch, Joshua M. Salazar-Mej\'ia, Sabri Koraltan, Philip Heinrich, Sophie Zeilinger, Bernd Aichner, Florian Bruckner, Hubert Br\"uckl, Armin Satz, Dieter Suess
https://…

SOT Enabled 3D Magnetic Field Sensor with Low Offset and High Sensitivity
In this work we demonstrate a spin-orbit torque (SOT) magnetic field sensor, designed as a Ta/CoFeB/MgO structure, with high sensitivity and capable of active offset compensation in all three spatial directions. This is described and verified in both experiment and simulation. The measurements of magnetic fields showed an offset of 36, 50, and 37$\mathrm{μT}$ for x-, y-, and z-fields. Furthermore, the sensitivities of these measurements had values of 590, 580, and 490$\mathrm{V\,A^{-1}\,T^{-1}…

This https://arxiv.org/abs/2505.03487 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Admissible covers and stable maps
Moduli spaces of admissible covers and stable maps of target curves give rise to cycles on $\overline{M}_{g,n}$. We prove a formula relating these cycles. It recovers both the Ekedahl-Lando-Shapiro-Vainshtein formula and the Gromov-Witten/Hurwitz correspondence, providing a cycle-theoretic refinement thereof. The formula is verified computationally in low-genus cases with the help of Johannes Schmitt.

Augmented links, shadow links, and the TV volume conjecture: a geometric perspective
Dionne Ibarra, Emma N. McQuire, Jessica S. Purcell
https://arxiv.org/abs/2506.09296

Augmented links, shadow links, and the TV volume conjecture: a geometric perspective
For hyperbolic 3-manifolds, the growth rate of their Turaev-Viro invariants, evaluated at a certain root of unity, is conjectured to give the hyperbolic volume of the manifold. This has been verified for a handful of examples and several infinite families of link complements, including fundamental shadow links. Fundamental shadow links lie in connected sums of copies of $S^1\times S^2$, and their complements are built of regular ideal octahedra. Another well-known family of links with complemen…

Analogous supercritical crossovers in black holes and water
Shoucheng Wang, Xinyang Li, Yuliang Jin, Li Li
https://arxiv.org/abs/2506.10808 https://…

Analogous supercritical crossovers in black holes and water
We investigate the supercritical crossovers for black hole thermodynamics in the supercritical regime beyond the critical point, where small and large black holes are indistinguishable from the conventional viewpoint. We establish a refined supercritical phase diagram that comprehensively characterizes small, large, and indistinguishable black hole phases, whose boundaries are defined by two supercritical crossover lines. The universal scaling laws of the two crossover lines are fully verified …

Nucleation kinetics in phase transformations with spatially correlated nuclei
M. Tomellini
https://arxiv.org/abs/2506.08515 https://a…

Nucleation kinetics in phase transformations with spatially correlated nuclei
Phase transitions ruled by nucleation and growth can occur by nonrandom arrangement of nuclei. This is verified, for instance, in thin film growth at solid surfaces by vapor condensation or by electrodeposition where, around each nucleus, a depletion zone of reactants sets up within which nucleation is prevented. In this contribution, a theoretical approach for the kinetics of phase transition with spatially correlated nuclei by progressive nucleation is developed. The work focuses on the rate …

I'm back at DumbTube to look up Keyoxide tutorials and I can do something about it this time because this video is Creative Commons Attribution 3!
Only problem is I would need PeerTube I think unless I want to really trash the resolution...
12 Megabytes...ok...no, it's fine...
Mastodon accepted my upload!
https://www.

The Stress-Force-Fabric relation across shear bands
Carmen Lee, \'Emilien Az\'ema, Karen Daniels
https://arxiv.org/abs/2506.09741 https://

The Stress-Force-Fabric relation across shear bands
The strength of granular materials is highly dependent on grain connectivity (fabric), force transmission, and frictional mobilization at the particle scale. Furthermore, these bulk properties are strongly dependent on the geometry and history of loading. It is well established that anisotropy in fabric and force transmission through a granular packing directly relates to the bulk scale strength of the packing via the Stress-Force-Fabric (SFF) relation. We have recently verified the validity of…

So I hear Vance just joined Bluesky and started trolling Trans people and yet they verified him...
#WalksLikeanX
#bluesky #joinMastodon #Fediverse

Dissecting the SWE-Bench Leaderboards: Profiling Submitters and Architectures of LLM- and Agent-Based Repair Systems
Matias Martinez, Xavier Franch
https://arxiv.org/abs/2506.17208

Dissecting the SWE-Bench Leaderboards: Profiling Submitters and Architectures of LLM- and Agent-Based Repair Systems
The rapid progress in Automated Program Repair (APR) has been driven by advances in AI, particularly large language models (LLMs) and agent-based systems. SWE-Bench is a recent benchmark designed to evaluate LLM-based repair systems using real issues and pull requests mined from 12 popular open-source Python repositories. Its public leaderboards, SWE-Bench Lite and SWE-Bench Verified, have become central platforms for tracking progress and comparing solutions. However, because the submission pr…

Prediction and Synthesis of Mg$_4$Pt$_3$H$_6$: A Metallic Complex Transition Metal Hydride Stabilized at Ambient Pressure
Wencheng Lu, Michael J. Hutcheon, Mads F. Hansen, Kapildeb Dolui, Shubham Sinha, Mihir R. Sahoo, Chris J. Pickard, Christoph Heil, Anna Pakhomova, Mohamed Mezouar, Dominik Daisenberger, Stella Chariton, Vitali Prakapenka, Matthew N. Julian, Rohit P. Prasankumar, Timothy A. Strobel

Prediction and Synthesis of Mg$_4$Pt$_3$H$_6$: A Metallic Complex Transition Metal Hydride Stabilized at Ambient Pressure
The low-pressure stabilization of superconducting hydrides with high critical temperatures ($T_c$s) remains a significant challenge, and experimentally verified superconducting hydrides are generally constrained to a limited number of structural prototypes. Ternary transition-metal complex hydrides (hydrido complexes)-typically regarded as hydrogen storage materials-exhibit a large range of compounds stabilized at low pressure with recent predictions for high-$T_c$ superconductivity. Motivated …

From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem
Li Jingyuan
https://arxiv.org/abs/2506.07066 https://arxiv.or…

From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem
This paper presents a comprehensive formalization of the von Neumann-Morgenstern (vNM) expected utility theorem using the Lean 4 interactive theorem prover. We implement the classical axioms of preference-completeness, transitivity, continuity, and independence-enabling machine-verified proofs of both the existence and uniqueness of utility representations. Our formalization captures the mathematical structure of preference relations over lotteries, verifying that preferences satisfying the vNM…

aspe:keyoxide.org:UL4KVCWXS27N3JZYWZ7Q2L247M
I'm trying to figure out how easy or hard it is to make the green verified checkmark with Keyoxide...
I think I got an idea...but I wanna test it before I claim it worked...
#Keyoxide

@… do you know any guide for becoming verified on Mastodon through keyoxide?
#KeyOxide #MastodonVerified

KeyOxide is fun...can sort of "verify" various Mastodon accounts that they belong to the same person's app...
Can I get verified on Mastodon this way but even if I can't I really like this idea...
aspe:keyoxide.org:C5CSFQ73NEB5YNQOTGQOCWSQ34
#KeyOxide

@…
Do I need an OpenPGP key and link it to my Keyoxide profile in order to get the green verified badge on Mastodon?
#Keyoxide #TechQuestions