Tootfinder

La mort mystérieuse de Pier Paolo Pasolini hante toujours l’Italie cinquante ans après
https://www.lemonde.fr/m-le-mag/article/2025/06/27/cinquante-ans-apres-la-mort-de-pasolini-hante-toujours-l…

La mort mystérieuse de Pier Paolo Pasolini hante toujours l’Italie cinquante ans après
Le meurtre de l’écrivain et cinéaste italien, le 2 novembre 1975, continue de susciter nombre de questions. Parmi ceux qui n’ont pas renoncé à lever les zones d’ombre, l’avocat Stefano Maccioni a bataillé pendant des années pour faire rouvrir la procédure judiciaire. Il place désormais ses espoirs dans la commission d’enquête parlementaire qui vient d’être créée.

This wider action is not about porn. This is about building a system of tracking Internet use of everyone, adults or children.
>>
“Commission opens investigations to safeguard minors from pornographic content under the Digital Services Act”
https://ec.europa.eu/commission/presscorner/detail/en/ip_25_1339

NetChoice sues Arkansas over two laws that would put limits on social media content and let parents of children who died by suicide sue over platform content (Andrew Demillo/Associated Press)
https://apnews.com/article/net-choice-ar…

Tech industry group sues Arkansas over new social media laws
A tech industry trade group has sued Arkansas over two new law placing limits on content on social media platforms. The lawsuit was filed Friday in federal court by NetChoice, whose members include TikTok, Facebook parent Meta, and X, formerly known as Twitter. The lawsuit comes months after a federal judge struck down an Arkansas law that would have required parental consent for minors to create new social media accounts. The new laws the group is challenging include one that would allow paren…

Large Language Model-Driven Code Compliance Checking in Building Information Modeling
Soumya Madireddy, Lu Gao, Zia Din, Kinam Kim, Ahmed Senouci, Zhe Han, Yunpeng Zhang
https://arxiv.org/abs/2506.20551

Large Language Model-Driven Code Compliance Checking in Building Information Modeling
This research addresses the time-consuming and error-prone nature of manual code compliance checking in Building Information Modeling (BIM) by introducing a Large Language Model (LLM)-driven approach to semi-automate this critical process. The developed system integrates LLMs such as GPT, Claude, Gemini, and Llama, with Revit software to interpret building codes, generate Python scripts, and perform semi-automated compliance checks within the BIM environment. Case studies on a single-family res…

DCMF: A Dynamic Context Monitoring and Caching Framework for Context Management Platforms
Ashish Manchanda, Prem Prakash Jayaraman, Abhik Banerjee, Kaneez Fizza, Arkady Zaslavsky
https://arxiv.org/abs/2506.17226

DCMF: A Dynamic Context Monitoring and Caching Framework for Context Management Platforms
The rise of context-aware IoT applications has increased the demand for timely and accurate context information. Context is derived by aggregating and inferring from dynamic IoT data, making it highly volatile and posing challenges in maintaining freshness and real-time accessibility. Caching is a potential solution, but traditional policies struggle with the transient nature of context in IoT (e.g., ensuring real-time access for frequent queries or handling fast-changing data). To address this…

Bridging Data-Driven and Physics-Based Models: A Consensus Multi-Model Kalman Filter for Robust Vehicle State Estimation
Farid Mafi (University of Waterloo, Waterloo, Canada), Ladan Khoshnevisan (University of Waterloo, Waterloo, Canada), Mohammad Pirani (University of Ottawa, Ottawa, Canada), Amir Khajepour (University of Waterloo, Waterloo, Canada)

Bridging Data-Driven and Physics-Based Models: A Consensus Multi-Model Kalman Filter for Robust Vehicle State Estimation
Vehicle state estimation presents a fundamental challenge for autonomous driving systems, requiring both physical interpretability and the ability to capture complex nonlinear behaviors across diverse operating conditions. Traditional methodologies often rely exclusively on either physics-based or data-driven models, each with complementary strengths and limitations that become most noticeable during critical scenarios. This paper presents a novel consensus multi-model Kalman filter framework t…

But-but-but the Bible Belt's the largest consumer!
Southern Baptist Convention Calls For Outlawing Porn - Joe.My.God.
https://www.joemygod.com/2025/05/southern-baptist-convention-calls-for-outlawing-porn/

DRAG: Distilling RAG for SLMs from LLMs to Transfer Knowledge and Mitigate Hallucination via Evidence and Graph-based Distillation
Jennifer Chen, Aidar Myrzakhan, Yaxin Luo, Hassaan Muhammad Khan, Sondos Mahmoud Bsharat, Zhiqiang Shen
https://arxiv.org/abs/2506.01954

DRAG: Distilling RAG for SLMs from LLMs to Transfer Knowledge and Mitigate Hallucination via Evidence and Graph-based Distillation
Retrieval-Augmented Generation (RAG) methods have proven highly effective for tasks requiring factual consistency and robust knowledge retrieval. However, large-scale RAG systems consume significant computational resources and are prone to generating hallucinated content from Humans. In this work, we introduce $\texttt{DRAG}$, a novel framework for distilling RAG knowledge from large-scale Language Models (LLMs) into small LMs (SLMs). Our approach leverages evidence- and knowledge graph-based d…

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

Focused-DPO: Enhancing Code Generation Through Focused Preference Optimization on Error-Prone Points
Code generation models have shown significant potential for automating programming tasks. However, the challenge of generating accurate and reliable code persists due to the highly complex and long-reasoning nature of the task. Even state-of-the-art models often fail in code generation due to small errors, which can drastically affect the overall functionality of code. Our study identifies that current models tend to produce errors concentrated at specific error-prone points, which significantl…

Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
https://arxiv.org/abs/2506.08628 https://

Logic Mining from Process Logs: Towards Automated Specification and Verification
Logical specifications play a key role in the formal analysis of behavioural models. Automating the derivation of such specifications is particularly valuable in complex systems, where manual construction is time-consuming and error-prone. This article presents an approach for generating logical specifications from process models discovered via workflow mining, combining pattern-based translation with automated reasoning techniques. In contrast to earlier work, we evaluate the method on both ge…