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

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 ?

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

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

(2022) Tarinoita metsästä #luonto #ympäristö

Tarinoita metsästä
Tarinoita metsästä kertoo suomalaisen metsäluonnon kauneudesta ja esittelee monimuotoisen vanhan metsän luontoa sekä asukkaita lyhyiden, tietopitoisten kertomusten muodossa. Ohjaus: Kim Saarniluoto. Tuotanto: Matila Röhr Nordisk Oy.

Extremely hot day in the Netherlands again, especially in the South. In over a century of records until 2019, no station in the country had ever reached a temperature of 39°C.
Today was the third time the city of Maastricht saw it happen, and this was by far the earliest in summer for any station.
#heatwave

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…

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.

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…

John Willis interviewed me for his Profound podcast series...
This post provides links to more information on what we discussed in the podcast.
...
Bill Hunter (my father): Quality In The Community One City’s Experience (Madison) – Quality Comes to City Hall (Madison) – Managing Our Way to Economic Success
...
Design of Experiments
...
PDSA improvement cycle: Keys to the Effective Use of the PDSA Improvement Cycle...

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 …

Love's Shifting Nature
#inspiration #grief #NowPlaying

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

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 …

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…

Russia jails man for 16 years over pro-Ukraine cyberattacks on critical infrastructure https://therecord.media/russia-jails-man-over-pro-ukraine-cyberattacks

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…

🇺🇦 #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

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