Tootfinder

The Trump administration has halted litigation aimed at stopping civil rights abuses of prisoners in Louisiana and mentally ill people living in South Carolina group homes.
https://truthout.org/articles/trump-admin-halts-lawsuits…

Trump Admin Halts Lawsuits Targeting Civil Rights Abuses in Prisons, Group Homes
Biden’s DOJ concluded that Louisiana and South Carolina had failed to fix violations despite years of warnings.

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

Hybrid-Graph Neural Network Method for Muon Fast Reconstruction in Neutrino Telescopes
Fast and accurate muon reconstruction is crucial for neutrino telescopes to improve experimental sensitivity and enable online triggering. This paper introduces a Hybrid-Graph Neural Network (GNN) method tailored for efficient muon track reconstruction, leveraging the robustness of GNNs alongside traditional physics-based approaches. The "LITE GNN model" achieves a runtime of 0.19-0.29 ms per event on GPUs, offering a three orders of magnitude speedup compared to traditional likelihood-based me…

🎵 And your wise men DO know how it feels
To be thick as another brick in the wall 🎵
REUTERS: A building brick made almost entirely from recycled rubble may help solve one of the construction industry’s biggest environmental challenges — managing its significant waste.
https:/…

Could these recycled bricks help build a low-carbon future? | Reuters
A building brick made almost entirely from recycled rubble could help solve one of the construction industry’s biggest environmental challenges — managing its significant waste.   Unlike traditional clay bricks, the K-BRIQ, made by Kenoteq in Edinburgh, Scotland, produces 95% fewer carbon emissions.   #brick #construction #rubble #environment #climatechange #building

Dolphins targeting Raiders' $9 million TE seeking change of scenery as Jonnu Smith replacement https://www.sportingnews.com/us/nfl/miami-dolphins/news/dolphins-tar…

Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel G\u{a}in\u{a}
https://arxiv.org/abs/2506.22828 https://arxiv.org/p…

Model-theoretic Forcing in Transition Algebra
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define necessity and possibility operators. We show that Upward Löwenheim-Skolem theorem, any form of compactness, and joint Robinson consistency proper…

In-context learning for the classification of manipulation techniques in phishing emails
Antony Dalmiere (LAAS-TRUST, LAAS), Guillaume Auriol (LAAS-TRUST, INSA Toulouse), Vincent Nicomette (LAAS-TSF, LAAS), Pascal Marchand (LERASS)
https://arxiv.org/abs/2506.22515

In-context learning for the classification of manipulation techniques in phishing emails
Traditional phishing detection often overlooks psychological manipulation. This study investigates using Large Language Model (LLM) In-Context Learning (ICL) for fine-grained classification of phishing emails based on a taxonomy of 40 manipulation techniques. Using few-shot examples with GPT-4o-mini on real-world French phishing emails (SignalSpam), we evaluated performance against a human-annotated test set (100 emails). The approach effectively identifies prevalent techniques (e.g., Baiting, …

On LLM-Assisted Generation of Smart Contracts from Business Processes
Fabian Stiehle, Hans Weytjens, Ingo Weber
https://arxiv.org/abs/2507.23087 https://ar…

On LLM-Assisted Generation of Smart Contracts from Business Processes
Large language models (LLMs) have changed the reality of how software is produced. Within the wider software engineering community, among many other purposes, they are explored for code generation use cases from different types of input. In this work, we present an exploratory study to investigate the use of LLMs for generating smart contract code from business process descriptions, an idea that has emerged in recent literature to overcome the limitations of traditional rule-based code generati…

How was Joe Biden forced out of a presidential race for a disastrous debate and for looking frail and for confusing names,
but this man, one of the most ignorant men to ever be elected to any office, allowed to continue on as president and treated as a normal, serious leader??
https://bsky.app/pr…

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

PentestAgent: Incorporating LLM Agents to Automated Penetration Testing
Penetration testing is a critical technique for identifying security vulnerabilities, traditionally performed manually by skilled security specialists. This complex process involves gathering information about the target system, identifying entry points, exploiting the system, and reporting findings. Despite its effectiveness, manual penetration testing is time-consuming and expensive, often requiring significant expertise and resources that many organizations cannot afford. While automated pen…

The Santa Barbara Ring Shout Project honors a tradition that our enslaved brothers did when they arrived in America.
It consists of calling and responding to the acapella style of singing.
SBRSP dances in a circle to the beat of a sticker, beating on a wood floor to make rhythm.
Ring Shout uses the entire body,
the main focus is rhythms.
SBRSP greatest accomplishment was joining the Gullah/Geechee shouters for a closeout exhibit of Lorenzo Turner's work …

Santa Barbara Ring Shout Project — Juneteenth
The Santa Barbara Ring Shout Project (SBRSP) honors a tradition that our enslaved brothers did when they arrived in America. It consists of calling and responding to the acapella style of singing. SBRSP dances in a circle to the beat of a sticker, beating on a wood floor to make rhythm. Ring Shout u