Tootfinder

Checking Consistency of Event-driven Traces
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
https://arxiv.org/abs/2508.07855 https://

Checking Consistency of Event-driven Traces
Event-driven programming is a popular paradigm where the flow of execution is controlled by two features: (1) shared memory and (2) sending and receiving of messages between multiple handler threads (just called handler). Each handler has a mailbox (modelled as a queue) for receiving messages, with the constraint that the handler processes its messages sequentially. Executions of messages by different handlers may be interleaved. A central problem in this setting is checking whether a candidate…

European policymakers are edging towards a decision that could force technology firms to scan encrypted messages in a bid to tackle child abuse material, reviving a debate that cuts to the heart of online privacy and security.
https://www.computing.co.uk/news/2…

EU moves closer to controversial ‘Chat Control’ law
European policymakers are edging towards a decision that could force technology firms to scan encrypted messages in a bid to tackle child abuse material, reviving ...

At Electric Nashville, a one night synth show benefiting the Bob Moog Foundation https://www.electricnashville.org/

Android: Play-System-Update erweitert Nacktbild-Erkennung in Messages um Videos
Googles Oktober-Update der Systemdienste bringt einige Neuerungen mit sich. Unter anderem wird die Nacktbild-Erkennung in Messages erweitert.

Alright, time to actually look at my :signal: messages that have piled up.

OpenAI restores GPT-4o as default for all paid ChatGPT users, vows "plenty of notice" if 4o is deprecated, raises GPT-5 Thinking rate limits to 3K messages/week (Carl Franzen/VentureBeat)
https://venturebeat.com/a…

OpenAI brings GPT-4o back as a default for all paying ChatGPT users, Altman promises ‘plenty of notice’ if it leaves again
For now, the changes should help placate users who felt frustrated by the sudden shift to GPT-5 and deprecation of OpenAI's older LLMs.

Good issue of the European Correspondent on #SOTEU messages. Then @… 's analysis of the Poland situation was very interesting too .
But piece on #Samsø the sustainable Danish Island warmed my heart. Visited recently and it's all true!
https://elaine.mayoris.com/go/rv03kj8tcubwq09e17y9240phn9c0u5736zkgkg0k47i/2866

copenhagen: Copenhagen Networks Study
A network of social interactions among university students within the Copenhagen Networks Study, over a period of four weeks, sampled every 5 minutes. Interactions include physical proximity (undirected), phone calls (directed, weighted), text messages (directed), and information about Facebook friendships (undirected). Nodes include some metadata, including gender.
This network has 800 nodes and 6429 edges.
Tags: Social, Offline, Unwei…

Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
Pranav Khadpe, Kimi Wenzel, George Loewenstein, Geoff Kaufman
https://arxiv.org/abs/2509.09645

Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
When someone sends us a thoughtful message, we naturally form judgments about their character. But what happens when that message carries a label indicating it was written with the help of AI? This paper investigates how the appearance of AI assistance affects our perceptions of message senders. Adding nuance to previous research, through two studies (N=399) featuring vignette scenarios, we find that AI-assistance labels don't necessarily make people view senders negatively. Rather, they dampen…

Finished processing a couple more of the lightning shots from the storm on Friday. #tennessee #tnwx #lightning