Tootfinder

The Proof Analysis Problem
Noel Arteche, Albert Atserias, Susanna F. de Rezende, Erfan Khaniki
https://arxiv.org/abs/2506.16956 https://

The Proof Analysis Problem
Atserias and Müller (JACM, 2020) proved that for every unsatisfiable CNF formula $φ$, the formula $\operatorname{Ref}(φ)$, stating "$φ$ has small Resolution refutations", does not have subexponential-size Resolution refutations. Conversely, when $φ$ is satisfiable, Pudlák (TCS, 2003) showed how to construct a polynomial-size Resolution refutation of $\operatorname{Ref}(φ)$ given a satisfying assignment of $φ$. A question that remained open is: do all short Resolution refutations of $\op…

London-based Definely, whose AI tools help law firms draft and review legal contracts, raised a $30M Series B led by Revaia, with Clio and others participating (Cate Lawrence/Tech.eu)
https://tech.eu/2025/06/09/uk-legaltech-de…

UK legaltech Definely secures $30M to boost global reach and AI development
UK legaltech company Definely has raised $30 million in Series B funding to accelerate its global expansion and AI product roadmap. This additional funding brings the total amount raised by Definely since its inception to $40 million. Launched in 2020 by Nnamdi Emelifeonwu and Feargus MacDaei, Definely was born from lived experience, including that of co-founder MacDaeid, who is registered blind after being diagnosed with a degenerative eye condition at age 11. Throughout his life, he consiste…

Packers releasing Pro Bowl cornerback Jaire Alexander: Sources https://www.nytimes.com/athletic/6413409/2025/06/09/jaire-alexander-green-bay-packers-release/

Another useful article:
"What to know about Trump’s deployment of National Guard troops to LA protests"
https://apnews.com/article/insurrection-act-trump-troops-newsom-military-national-guard-…

What to know about Trump's deployment of National Guard troops to LA protests
President Donald Trump says he’s deploying 2,000 California National Guard troops to Los Angeles to respond to immigration protests, over the objections of California Gov. Gavin Newsom. It’s not the first time Trump has activated the National Guard to quell protests. In 2020, he asked governors of several states to send troops to Washington, D.C. to respond to demonstrations that arose after George Floyd was killed by Minneapolis police officers. Here are some things to know about when and …

wiki_science: Wikipedia Map of Science (2020)
A network of scientific fields, extracted from the English Wikipedia in early 2020. Nodes are wikipedia pages representing natural, formal, social and applied sciences, and two nodes are linked if the cosine similarity of the page content is above a threshold. See <http://www.s…

this is the first time since 2020 i've been okay with dailying linux on my desktop with at least 90% of my stuff working, and also the first time i've felt like VR on linux on my quest 3 is nearly as usable as it is on windows. most of the online multiplayer games i've been playing don't block linux too, shoutout splitgate 1/2, the finals and RIP xdefiant

An informal invitation to Laurie Anderson was issued in fall 2020, no word back yet

Enhancing air-shower observations: Results from an IceCube Surface Array Prototype Station
Megha Venugopal (for the IceCube Collaboration)
https://arxiv.org/abs/2506.09806

Enhancing air-shower observations: Results from an IceCube Surface Array Prototype Station
The Surface Array Enhancement of the IceCube Neutrino Observatory is set to equip the existing surface cosmic-ray array of ice-Cherenkov detectors, IceTop, with radio antennas and scintillation detectors. This can lower the energy threshold of detection and increase the measurement accuracy of IceTop. The antenna readout uses a multiplicity trigger from the scintillation detectors. A fully functioning prototype station of the enhancement was deployed at the South Pole in 2020 and upgraded in 20…

🇺🇦 #NowPlaying on #BBC6Music's #TheHueyShow
The Who:
🎵 Eminence Front
#TheWho
https://sportellomusic.bandcamp.com/track/the-who-eminence-front-sportello-2020-edit
https://open.spotify.com/track/6HhVHZTzhjvS5erfCm4roh

A note on multi-transitivity in non-autonomous discrete systems
Hongbo Zeng
https://arxiv.org/abs/2505.24657 https://arxiv.org/pdf/25…

A note on multi-transitivity in non-autonomous discrete systems
This paper is concerned with some stronger forms of transitivity in non-autonomous discrete systems$(f_{ 1,\infty})$ generated by a uniformly convergent sequence of continuous self maps. Firstly, we present two counterexamples to show that Theorem 3.1 obtained by Salman and Das in [Multi-transitivity in nonautonomous discrete systems Topol. Appl. 278(2020)107237] is not true. Then, we introduce and study mildly mixing in non-autonomous discrete systems, which is stronger than mixing. We obtain …

Impact of the WHO's 90-70-90 Strategy on HPV-Related Cervical Cancer Control: A Mathematical Model Evaluation in China
Hua Liu, Chunya Liu, Yumei Wei, Qibin Zhang, Jingyan Ma
https://arxiv.org/abs/2506.06405

Impact of the WHO's 90-70-90 Strategy on HPV-Related Cervical Cancer Control: A Mathematical Model Evaluation in China
In August 2020, the World Health Assembly approved the Global Strategy to eliminate cervical cancer, marking the first time that numerous countries committed to eliminating a form of cancer. China introduced the HPV vaccine in 2016 and has made significant advancements in both prevention and treatment strategies. However, due to the relatively late introduction of the vaccine, the burden of cervical cancer in China continues to rise. In light of this, we develop a compartmental model to assess …

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

Least Squares Estimation For Hierarchical Data
The U.S. Census Bureau's 2020 Disclosure Avoidance System (DAS) bases its output on noisy measurements, which are population tabulations added to realizations of mean-zero random variables. These noisy measurements are observed for a set of hierarchical geographic units, e.g., the U.S. as a whole, states, counties, census tracts, and census blocks. The Census Bureau released the noisy measurements generated in the DAS executions for the two primary 2020 Census data products, in part to allow da…