Tootfinder

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.

"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

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

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.

When I migrated to the #Fediverse via #Mastodon in 2022, something was missing. That nightly mental health break I got from playing #HashTagGames, so I started my nightly game. We're almost …

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!
#FreudianSlipAToastOrVow

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

Viele #Deutsche lagern daheim alte #Smartphones. Auch wenn die Zahl der "Schubladenhandys" laut #Bitkom sinkt, ist sie extrem hoch. Imho wäre die Lösung nicht, alles wegzuwerfen, …

Bird of the Day — Wilson's Snipe, Nebraska 2022
#Birds #NaturePhotography #Nature #Wildlife