Tootfinder

Opt-in global Mastodon full text search. Join the index!

@arXiv_mathph_bot@mastoxiv.page
2025-06-05 09:53:18

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

@cowboys@darktundra.xyz
2025-06-01 15:31:37

Cowboys set to lose $16.4 million in future cap space Tuesday thanks to accounting quirk cowboyswire.usatoday.com/story

@peter_mcmahan@mas.to
2025-05-02 13:40:52

The way we talk about housing in public discourse is so broken. How does kicking unhoused people out onto the street "deal with" homelessness in any sense other than a murderous one?
"Montreal's public transit agency is lifting a temporary rule against loitering in the Metro — a controversial measure established in mid-March to help deal with rising social problems in the network, including homelessness."

Does anyone know how to make sense of the following, from section 3.2 of "The independence of Peano's fourth axiom…":
The W-introduction rule in [4] does not have a bottom clause 0 ∈ (Wx ∈ A)B(x) since such a clause can be derived using a universe. We can now see that this use of a universe is necessary.
The W-introduction rule in the referenced Martin-Löf paper is the standard one: from a : A and b : B(a) − W A B, get sup(a, b) : W A B.
What on earth is a "bottom clause", and why would such a thing be derivable with a universe? If this means adding a premise that W A B is inhabited to the W-introduction rule, then wouldn't the new rule be trivially derivable by ignoring the premise?

@arXiv_hepph_bot@mastoxiv.page
2025-06-05 07:31:40

Revisiting Isocurvature Bounds on the Minimal QCD Axion
Peter W. Graham, Davide Racco
arxiv.org/abs/2506.03348 arxiv.…

@matematico314@social.linux.pizza
2025-06-18 04:38:26

#LB Eu demorei um tempo até entender o que raios era isso. Senhoras e senhores, um semi-grupo representado por maçãs e bananas! rs
mathstodon.xyz/@slava/11470149

@arXiv_mathCO_bot@mastoxiv.page
2025-07-04 08:12:41

Marcello's completion of graphs
Johan Kok
arxiv.org/abs/2507.02015 arxiv.org/pdf/2507.02015

@arXiv_mathMG_bot@mastoxiv.page
2025-05-28 07:25:50

1-Uryson width and covers
Hannah Alpert, Arka Banerjee, Panos Papasoglu
arxiv.org/abs/2505.21126 arxiv.org/pdf/2505.2…

@arXiv_statME_bot@mastoxiv.page
2025-06-02 10:17:53

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

@arXiv_hepph_bot@mastoxiv.page
2025-06-30 09:51:00

QCD sum rule analysis of $J^{PC}=1^{--}$ light hybrid mesons
Shuang-Hong Li, Zhuo-Ran Huang, Wei Chen, Hong-Ying Jin
arxiv.org/abs/2506.22412

I guess it's slightly more likely that this means adding a new rule with no premises and conclusion 0 : W A B. But how do you derive this when A is empty?

@arXiv_condmatsoft_bot@mastoxiv.page
2025-06-30 07:56:40

Droplet growth, Ostwald's rule, and emergence of order in Fused in Sarcoma
Farkhad Maksudov (Department of Chemistry, The University of Texas at Austin), Mauro L. Mugnai (Institute of Soft Matter Synthesis and Metrology, Georgetown University, Washington), Laura Dominguez (Department of Chemistry, The University of Texas at Austin, Departamento de Fisicoquimica, Facultad de Quimica, Universidad Nacional Autonoma de Mexico, Coyoacan, CDMX, Mexico), Dmitrii Makarov (Department of Che…

@arXiv_mathAT_bot@mastoxiv.page
2025-06-26 12:04:36

Replaced article(s) found for math.AT. arxiv.org/list/math.AT/new
[1/1]:
- On the chain rule in Goodwillie calculus
Max Blans, Thomas Blom

@zudn@theres.life
2025-06-22 01:25:11

Sovereign God, establish peace, a measure of calm, the possibility of respect, the recognition that you, the only living and true God, rule this world and desire justice, righteousness, and truth.
In the exalted name of Jesus the Christ.
Amen.

@Mediagazer@mstdn.social
2025-06-12 16:55:59

Sources: FTC is discussing a consent decree on the Omnicom-Interpublic merger, prohibiting the combined company from boycotting platforms over political content (New York Times)

@johl@mastodon.xyz
2025-06-08 12:06:28
@arXiv_astrophEP_bot@mastoxiv.page
2025-06-17 10:49:05

Hubble's Multi-Year Search for Exospheres in the TRAPPIST-1 System Reveals Frequent Microflares
David Berardo, Julien de Wit, Michael Gillon, Ward S. Howard, Vincent Bourrier, Matthew W. Cotton, Florian Quatresooz, L\'eonie Hoerner, Emeline Bolmont, Artem Burdanov, Adam J. Burgasser, Brice-Olivier Demory, David Enhrenreich, Susan M. Lederer, Benjamin V. Rackham, Sara Seager, Amaury Triaud

@arXiv_quantph_bot@mastoxiv.page
2025-06-25 08:22:19

Dissipative quantum North-East-Center model: steady-state phase diagram, universality and nonergodic dynamics
Pietro Brighi, Alberto Biella
arxiv.org/abs/2506.19011

@arXiv_econTH_bot@mastoxiv.page
2025-06-19 08:40:27

Binary Self-Selective Voting Rules
H\'ector Hermida-Rivera, Toygar T. Kerman
arxiv.org/abs/2506.15265 arxiv.org/p…

@arXiv_hepph_bot@mastoxiv.page
2025-06-03 08:01:32

Decays of the vector charmonium and bottomonium hybrids
B. Barsbay
arxiv.org/abs/2506.00665 arxiv.org/pdf/2506.00665

@arXiv_statAP_bot@mastoxiv.page
2025-06-13 09:43:40

Nonparametric estimation of an optimal treatment rule with fused randomized trials and missing effect modifiers
Nicholas Williams, Kara Rudolph, Iv\'an D\'iaz
arxiv.org/abs/2506.10863

@billbert@mastodon.social
2025-06-13 00:03:37

I feel like I'm the only one in the world who likes lime flavored hard seltzer. Everywhere I go the watering holes stock as a rule crazy, in-your-face flavors like PINEAPPLE and PASSIONFRUIT and BLACKBERRY. I can just about tolerate mango.
1/2

@arXiv_csDB_bot@mastoxiv.page
2025-06-10 07:27:42

QUITE: A Query Rewrite System Beyond Rules with LLM Agents
Yuyang Song, Hanxu Yan, Jiale Lao, Yibo Wang, Yufei Li, Yuanchun Zhou, Jianguo Wang, Mingjie Tang
arxiv.org/abs/2506.07675

@arXiv_statAP_bot@mastoxiv.page
2025-06-17 12:20:33

Enforcing tail calibration when training probabilistic forecast models
Jakob Benjamin Wessel, Maybritt Schillinger, Frank Kwasniok, Sam Allen
arxiv.org/abs/2506.13687

@arXiv_hepph_bot@mastoxiv.page
2025-06-09 09:01:02

The $U(1)_{L_\mu-L_\tau}$ model meets the new $(g-2)_\mu$ data and muon neutrino trident scattering
Ming-Wei Li, Xiao-Gang He, Andrew Cheek, Xinhui Chu
arxiv.org/abs/2506.05511

@arXiv_hepph_bot@mastoxiv.page
2025-06-18 09:56:22

Scalar Triple-Heavy Tetraquark States With Quark Content $cc\bar{c}\bar{s}$
Yong-Jiang Xu, Luo-Geng Tian, Yuan Li, Jin-Yun Wu, Yong-Lu Liu, Ming-Qiu Huang
arxiv.org/abs/2506.14527