Tootfinder

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

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

👾 These police officers in Denmark are tackling crime by playing online games with kids
https://www.euronews.com/next/2025/07/03/these-police-officers-in-denmark-are-tackling-crime-by-playing-online-games-with-kid…

Can playing video games help police combat online crimes?
The team was set up in 2022 to tackle the rise in online crime in Denmark. The Politiets Online Patrulje now boasts over 787,000 followers across platforms.

General Staff: Russia has lost 1,023,090 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/07/03/general-staff-russia-has-lost.html

KORRIGIERTE GRAFIK FÜR ZU/RÜCKBAU
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 22.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
Mehr zu

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 Influence of Earth, Wind, and Fire #music https://muz4now.com/2022/the-influence-of-earth-wind-and-fire

The Influence of Earth, Wind, and Fire
Stan Stewart - @muz4now

"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

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…

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.

🇺🇦 #NowPlaying on #BBC6Music's #6MusicsJukebox
Shygirl:
🎵 Woe (6 Music Session, 11 Oct 2022)
#Shygirl
https://felipemp3.bandcamp.com/track/sabrina-carpenter-shygirl-woe-woe-please-please-please-mp3
https://open.spotify.com/track/28xeM58xfbn0ahMEfjAsHP

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

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

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

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

Spectroscopic Observations of Four Candidates for Blue Large-Amplitude Pulsators. No BLAPs at High Galactic Latitudes
P. Pietrukowicz, M. Latour, F. Di Mille, M. Dorsch, U. Heber, J. Borowicz
https://arxiv.org/abs/2507.08372

Spectroscopic Observations of Four Candidates for Blue Large-Amplitude Pulsators. No BLAPs at High Galactic Latitudes
We have obtained spectroscopic observations for four short-period variable objects detected in ZTF, Gaia, and Pan-STARRS (ZGP) data and classified as Blue Large-Amplitude Pulsators (BLAPs) in McWhirter and Lam (2022): ZGP-BLAP-03, ZGP-BLAP-04, ZGP-BLAP-10, and ZGP-BLAP-15. The variables have periods between 46 and 56 min, full amplitudes of 0.13-0.22 mag in the $r$ band, and light curve shapes typical for radially pulsating stars. Three of them were found at high galactic latitudes (|$b$&#…

Anzahl der #Balkonkraftwerke in #Deutschland mit Stand vom 03.07.2025.
Der aktuelle Höchststand liegt bei 1014651 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2015 wurden durch das Registrierungsdatum der

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…

Evac-Cast: An Interpretable Machine-Learning Framework for Evacuation Forecasts Across Hurricanes and Wildfires
Bo Li, Chenyue Liu, Ali Mostafavi
https://arxiv.org/abs/2508.00650

Evac-Cast: An Interpretable Machine-Learning Framework for Evacuation Forecasts Across Hurricanes and Wildfires
Evacuation is critical for disaster safety, yet agencies lack timely, accurate, and transparent tools for evacuation prediction. This study introduces Evac-Cast, an interpretable machine learning framework that predicts tract-level evacuation rates using over 20 features derived from four dimensions: hazard intensity, community vulnerability, evacuation readiness, and built environment. Using an XGBoost model trained on multi-source, large-scale datasets for two hurricanes (Ian 2022, Milton 202…

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

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 01.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
Mehr zu

A Data-Driven Model Predictive Controller to manage epidemics: The case of SARS-CoV-2 in Mauritius
S. Z. Sayed Hassen, A. Aboudonia, J. Lygeros
https://arxiv.org/abs/2507.01996

A Data-Driven Model Predictive Controller to manage epidemics: The case of SARS-CoV-2 in Mauritius
This work investigates the benefits of implementing a systematic approach to social isolation policies during epidemics. We develop a mixed integer data-driven model predictive control (MPC) scheme based on an SIHRD model which is identified from available data. The case of the spread of the SARS-CoV-2 virus (also known as COVID-19) in Mauritius is used as a reference point with data obtained during the period December 2021 to May 2022. The isolation scheme is designed with the control decision…

Leveraging Minute-by-Minute Soccer Match Event Data to Adjust Team's Offensive Production for Game Context
Andrey Skripnikov, Ahmet Cemek, David Gillman
https://arxiv.org/abs/2508.04008

Leveraging Minute-by-Minute Soccer Match Event Data to Adjust Team's Offensive Production for Game Context
In soccer, game context can result in skewing offensive statistics in ways that might misrepresent how well a team has played. For instance, in England's 1-2 loss to France in the 2022 FIFA World Cup quarterfinal, England attempted considerably more shots (16 to France's 8) and more corners (5 to 2), potentially suggesting they played better despite the loss. However, these statistics were largely accumulated when France was ahead and more willing to concede offensive initiative to England. To …

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Thea Musgrave, Johan Dalene, Nicholas Daniel, BBC Symphony Orchestra & Nil Venditti:
🎵 In Memorium 2022
#TheaMusgrave #JohanDalene #NicholasDaniel #BBCSymphonyOrchestra #NilVenditti
#Spotify