Tootfinder

from my link log —
The Epic Verse calculus: a core calculus for functional logic programming.
https://simon.peytonjones.org/verse-calculus/
saved 2025-06-12

faculty_hiring_us: Faculty hiring networks in the US (2022)
Networks of faculty hiring for all PhD-granting US universities over the decade 2011–2020. Each node is a PhD-granting institution, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2020). This dataset is divided into separate networks for all 107 fields, as well as aggregate networks for 8 domains, and an overall network for …

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#MicroBusinessASongOrPoem

Synth Kraze
- music made for the joy of it -
#SynthPop #NowPlaying
https://muz4now.com/2022/s…

Synth Kraze #SynthPop #NowPlaying
Stan Stewart - @muz4now

Evidence of Time-Dependent Diffusive Shock Acceleration in the 2022 September 5 Solar Energetic Particle Event
Xiaohang Chen, Lulu Zhao, Joe Giacalone, Nishtha Sachdeva, Igor Sokolov, Gabor Toth, Christina Cohen, David Lario, Fan Guo, Athanasios Kouloumvakos, Tamas Gombosi, Zhenguang Huang, Ward Manchester, Bart van der Holst, Weihao Liu, David McComas, Matthew Hill, George Ho

Evidence of Time-Dependent Diffusive Shock Acceleration in the 2022 September 5 Solar Energetic Particle Event
On 2022 September 5, a large solar energetic particle (SEP) event was detected by Parker Solar Probe (PSP) and Solar Orbiter (SolO), at heliocentric distances of 0.07 and 0.71 au, respectively. PSP observed an unusual velocity-dispersion signature: particles below $\sim$1 MeV exhibited a normal velocity dispersion, while higher-energy particles displayed an inverse velocity arrival feature, with the most energetic particles arriving later than those at lower energies. The maximum energy increas…

Guerre en Ukraine : le grand désarroi des russophones de Daugavpils, en Lettonie
https://www.lemonde.fr/international/article/2022/03/03/guerre-en-ukraine-le-grand-desarroi-des-r…

Guerre en Ukraine : le grand désarroi des russophones de Daugavpils, en Lettonie
Dans cette ville située près des frontières russe et biélorusse, la guerre en Ukraine déchire les familles, la population se divisant entre Russes ou russophones et Lettons. Vers qui doivent-ils se tourner ?

Nationwide study finds that leaks in natural gas pipelines contribute to hazardous particulate air pollution https://phys.org/news/2025-06-nationwide-leaks-natural-gas-pipelines.html

Nationwide study finds that leaks in natural gas pipelines contribute to hazardous particulate air pollution
In March 2022, 14 residents of a four-story apartment building in Silver Spring, Maryland, were hospitalized when a gas leak from a cut pipeline caused a major explosion. Every year in the United States, there are hundreds of natural gas (or methane) pipeline leaks—caused by corrosion, equipment malfunctions, and construction activities. Methane leaks are not only dangerous; they contribute to air pollution and climate change.

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#HowToMessWithNeighbors

"Musk — who amplified conspiracy theories surrounding the 2022 hammer attack on Paul Pelosi, the husband of Nancy Pelosi — again waded into the fray.
“**The far left is murderously violent,” he wrote on X the same day he said he was working to reprogram X’s AI program Grok because it was spreading “leftist indoctrination.**”
How the ‘politically motivated’ shooting of Minnesota lawmakers unleashed right-wing conspiracy theories | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/conspiracy-theories-minnesota-shooting-suspect-b2770561.html

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

from my link log —
How to take the inverse of a type.
https://2022.ecoop.org/details/ecoop-2022-papers/6/How-to-Take-the-Inverse-of-a-Type
saved 2025-06-03

How to Take the Inverse of a Type (ECOOP 2022 - Research Papers) - ECOOP 2022
ECOOP is Europe’s longest-standing annual Programming Languages (PL) conference, and welcomes high quality research papers relating to the PL field in a broad sense. This year the conference will feature dedicated paper categories for reproduction studies, experience reports, reflective “pearls”, and forward-thinking “new idea” papers. We are also pleased to have two Journal First routes for submission to ECOOP, with the ACM TOPLAS and Science of Computer Programming journals.

The US DOJ seized ~145 domains and crypto linked to BidenCash, a dark web market that made $17M in revenue since 2022 by selling stolen credit cards and more (Ionut Ilascu/BleepingComputer)
https://www.bleepingcomputer.com/news/secu

Kiesewetter für Ausweisung russischer Diplomaten
Der CDU-Sicherheitspolitiker Roderich Kiesewetter hat angesichts der Bedrohung durch russische Cyberangriffen und Sabotageaktionen mehr Konsequenzen gefordert. "Wir sollten noch vorhandene Agenten und Diplomaten ausweisen", sagte der stellvertretende Vorsitzende des Geheimdienst-Kontrollgremiums des Bundestags dem Handelsblatt.
Schon im April 2022 hatte die Bundesregierung 40 …
📑

Ukraine-Liveblog: ++ Ukraine-Verbündete beraten über weitere Hilfen ++
Auf Einladung Deutschlands und Großbritanniens kommt am Mittwoch die sogenannte Ramstein-Gruppe zusammen, um über weitere Hilfen für die Ukraine zu beraten - die USA nehmen nicht teil. Moskau fordert die Anerkennung der eroberten Gebiete.

Propaganda and Information Dissemination in the Russo-Ukrainian War: Natural Language Processing of Russian and Western Twitter Narratives
Zaur Gouliev
https://arxiv.org/abs/2506.01807

Propaganda and Information Dissemination in the Russo-Ukrainian War: Natural Language Processing of Russian and Western Twitter Narratives
The conflict in Ukraine has been not only characterised by military engagement but also by a significant information war, with social media platforms like X, formerly known as Twitter playing an important role in shaping public perception. This article provides an analysis of tweets from propaganda accounts and trusted accounts collected from the onset of the war, February 2022 until the middle of May 2022 with n=40,000 total tweets. We utilise natural language processing and machine learning a…

Sammy Stein - Whatever You Wonder About Jazz
A #BookReview of "The Wonder of Jazz – Music That Changed the World "
https://muz4now.com/2022/sammy-stein-w

Sammy Stein - Whatever You Wonder About Jazz
Stan Stewart - @muz4now

From ⁨⁨⁨⁨⁨#AnnafromUkraine⁩⁩⁩⁩⁩ @AnnafromUkraine@youtube.com
WW3 SINCE 2022: #IRAN, #ISRAEL, #US 7 DAYS, UKRAIN…

Heute vor 2 Jahren: Am 14. Juni 2023 erklärte der belarussische Präsident Aleksander Lukaschenko in einem Fernsehinterview mit dem russischen Staatssender Russia-1, dass #Belarus, wie am 25.03.23 durch Putin angekündigt, #Kernwaffen von Russland erhalten habe.

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points
Stefano Scanzio, Gabriele Formis, Pietro Chiavassa, Lukasz Wisniewski, Gianluca Cena
https://arxiv.org/abs/2506.06100

Compression of executable QR codes or sQRy for Industry: an example for Wi-Fi access points
Executable QR codes, or sQRy, is a technology dated 2022 that permits to include a runnable program inside a QR code, enabling interaction with the user even in the absence of an Internet connection. sQRy are enablers for different practical applications, including network equipment configuration, diagnostics, and enhanced smart manuals in industrial contexts. Many other non-industry-related fields can also benefit from this technology. Regardless of where sQRy are used, text strings are among …

On the Earth's tidal perturbations. II. LARES 2 satellite
V. G. Gurzadyan, I. Ciufolini, H. G. Khachatryan, S. Mirzoyan, A. Paolozzi
https://arxiv.org/abs/2506.10310

On the Earth's tidal perturbations. II. LARES 2 satellite
Laser-ranging satellites have proved their efficiency in high precision testing of General Relativity and constraining modified gravity theories proposed to explain the dark sector and the cosmological tensions. The LARES 2 satellite launched in 2022, is currently providing improved information regarding the frame-dragging effect predicted by General Relativity, as well as the geodesy, thus essentially complementing the data of already existing laser-ranging satellites. The proper knowledge of …

faculty_hiring_us: Faculty hiring networks in the US (2022)
Networks of faculty hiring for all PhD-granting US universities over the decade 2011–2020. Each node is a PhD-granting institution, and a directed edge (i,j) indicates that a person received their PhD from node i and was tenure-track faculty at node j during time of collection (2011-2020). This dataset is divided into separate networks for all 107 fields, as well as aggregate networks for 8 domains, and an overall network for …

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

BWT for string collections
Davide Cenzato, Zsuzsanna Lipt\'ak, Nadia Pisanti, Giovanna Rosone, Marinella Sciortino
https://arxiv.org/abs/2506.01092 htt…

BWT for string collections
We survey the different methods used for extending the BWT to collections of strings, following largely [Cenzato and Lipták, CPM 2022, Bioinformatics 2024]. We analyze the specific aspects and combinatorial properties of the resulting BWT variants and give a categorization of publicly available tools for computing the BWT of string collections. We show how the specific method used impacts on the resulting transform, including the number of runs, and on the dynamicity of the transform with resp…

Results from the Pan-STARRS Search for Kilonovae: Contamination by Massive Stellar Outbursts
M. D. Fulton, S. J. Smartt, M. E. Huber, K. W. Smith, K. C. Chambers, M. Nicholl, S. Srivastav, D. R. Young, E. A. Magnier, C. -C. Lin, P. Minguez, T. de Boer, T. Lowe, R. Wainscoat
https://arxiv.org/abs/2506.07082

Results from the Pan-STARRS Search for Kilonovae: Contamination by Massive Stellar Outbursts
We present results from the Pan-STARRS optical search for kilonovae without the aid of gravitational wave and gamma-ray burst triggers. The search was conducted from 26 October 2019 to 15 December 2022. During this time, we reported 29,740 transients observed by Pan-STARRS to the IAU Transient Name Server. Of these, 175 were Pan-STARRS credited discoveries that had a host galaxy within 200 Mpc and had discovery absolute magnitudes M > -16.5. A subset of 11 transients was plausibly identified as…

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#BlameSomeoneElseASongOrPoem

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

Local well-posedness for a system of quadratic derivative nonlinear Schrödinger equations
We consider the Cauchy problem for a system of quadratic derivative nonlinear Schrödinger equations introduced by M. Colin and T. Colin (2004) as a model of laser-plasma interaction. Under the condition that the flow map fails to be twice differentiable, Hirayama, Kinoshita, and Okamoto (2022) proved the well-posedness by constructing a modified energy and applying the energy method. In the present paper, we improve the well-posedness result under the above condition by using the short-time Fo…

Love's Shifting Nature
- #inspired by #grief -
#NowPlaying

Love's Shifting Nature #NowPlaying
Stan Stewart - @muz4now

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

Installation and performance of the 3rd Veto plane at the SND@LHC detector
During 2022/2023 the optimal inefficiency of the Veto system of the SND@LHC detector was measured to be $(7.8\pm2.8)\times10^{-8}$. To reduce this inefficiency, a third Veto plane was installed during the 2023-2024 Year End Technical Stop. In addition, the Veto system was lowered to cover the target fully, thereby increasing acceptance. This paper describes how the inefficiency of the Veto system was reduced from $7.8\times10^{-8}$ with an acceptance of about $64\%$ of the target area in 2022-2…

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#FisticuffASongOrPoem

Asteroseismology of the G8 subgiant beta Aquilae with SONG-Tenerife, SONG-Australia and TESS
Hans Kjeldsen, Timothy R. Bedding, Yaguang Li, Frank Grundahl, Mads Fredslund Andersen, Duncan J. Wright, Jack Soutter, Robert Wittenmyer, Claudia Reyes, Dennis Stello, Courtney Crawford, Yixiao Zhou, Mathieu Clerte, Pere L. Palle, Sergio Simon-Diaz, Joergen Christensen-Dalsgaard, Rasmus Handberg, Hasse Hansen, Paul Heeren, Jens Jessen-Hansen, Mikkel Lund, Mia S. Lundkvist, Karsten Brogaard, Re…

Asteroseismology of the G8 subgiant beta Aquilae with SONG-Tenerife, SONG-Australia and TESS
We present radial velocities of the G8 subgiant star beta Aql obtained in 2022 and 2023 using SONG-Tenerife and SONG-Australia. We also analysed a sector of TESS photometry that overlapped with the 2022 SONG data. We processed the time series to assign weights and to remove bad data points. The power spectrum clearly shows solar-like oscillations centred at 430 muHz. The TESS data show the oscillations at lower signal-to-noise because photometric measurements are much more affected by the granu…

Love's Shifting Nature
#inspiration #grief #NowPlaying

Love's Shifting Nature #NowPlaying
Stan Stewart - @muz4now

Time For 9 o'clock #HashTagGames hosted by @…
Let's play!
#FreudianSlipAToastOrVow

A large scaling property of level sets for degenerate $p$-Laplacian equations with logarithmic BMO matrix weights
Thanh-Nhan Nguyen, Minh-Phuong Tran
https://arxiv.org/abs/2506.00390

A large scaling property of level sets for degenerate $p$-Laplacian equations with logarithmic BMO matrix weights
In this study, we deal with generalized regularity properties for solutions to $p$-Laplace equations with degenerate matrix weights. It has already been observed in previous interesting works [A. Kh. Balci, L. Diening, R. Giova, A. Passarelli di Napoli, SIAM J. Math. Anal. 54(2022), 2373-2412] and [A. Kh. Balci, S.-S. Byun, L. Diening, H.-S. Lee, J. Math. Pures Appl. (9) 177(2023), 484-530] that gaining Calderón-Zygmund estimates for nonlinear equations with degenerate weights under the so-cal…

The NEID Earth Twin Survey. III. Survey Performance After Three Years on Sky
Arvind F. Gupta, Evan Fitzmaurice, Suvrath Mahadevan, Paul Robertson, Jacob K. Luhn, Jason T. Wright, Sarah E. Logsdon, Daniel M. Krolikowski, Leonardo A. Paredes, Chad F. Bender, Mark R. Giovinazzi, Andrea S. Lin, Cullen H. Blake, Caleb I. Ca\~nas, Eric B. Ford, Samuel P. Halverson, Shubham Kanodia, Michael W. McElwain, Joe P. Ninan, Jayadev Rajagopal, Arpita Roy, Christian Schwab, Gu{\dh}mundur Stef\'ans…

The NEID Earth Twin Survey. III. Survey Performance After Three Years on Sky
The NEID Earth Twin Survey (NETS) has been delivering a rich set of precise radial velocity (RV) measurements for 41 bright, nearby main sequence stars. Here, we describe the status of the survey after three years on sky and we present the full set of RV measurements and accompanying stellar activity indicators. We discuss intermediate survey diagnostics, including calibration of the known RV zero point offset introduced following the Contreras fire in 2022 and the identification of an undiagno…

dom: Animal dominance archive (2022)
Animal dominance interaction data published over a century of research. The archive contains 434 agonistic interaction datasets, totaling over 241,000 interactions. A directed edge (i,j) corresponds to an antagonist interaction between i (winner) and j (loser). If a 'weight' edge property map exists, it counts the number of such interactions.
This network has 6 nodes and 16 edges.
Tags: Social, Animal, Weighted

The Revolution Has Arrived: What the Current State of Large Language Models in Education Implies for the Future
Russell Beale
https://arxiv.org/abs/2507.02180

The Revolution Has Arrived: What the Current State of Large Language Models in Education Implies for the Future
Large language Models have only been widely available since 2022 and yet in less than three years have had a significant impact on approaches to education and educational technology. Here we review the domains in which they have been used, and discuss a variety of use cases, their successes and failures. We then progress to discussing how this is changing the dynamic for learners and educators, consider the main design challenges facing LLMs if they are to become truly helpful and effective as …

Revisiting Bourgain's probabilistic construction of solutions to the 2-$d$ cubic NLS
Tadahiro Oh, Yuzhao Wang
https://arxiv.org/abs/2505.24271 https://…

Revisiting Bourgain's probabilistic construction of solutions to the 2-$d$ cubic NLS
In a seminal paper (1996), Bourgain proved invariance of the Gibbs measure for the defocusing cubic nonlinear Schrödinger equation on the two-dimensional torus by constructing local-in-time solutions in a probabilistic manner. In this note, we revisit and streamline his argument, using the random tensor estimate developed by Deng, Nahmod, and Yue (2022).

Time For 9 o'clock #HashTagGames hosted by @…
Let's play!
#MovieCharactersGraduationAdvice