Tootfinder

The BBC rejects a White House claim that it took down a Gaza story, after Press Secretary Karoline Leavitt accused the BBC of taking "the word of Hamas" (Barbara Tasch/BBC)
https://www.bbc.com/news/articles/ce814ez7030o

BBC rejects incorrect White House claims on Gaza coverage
The corporation says claims that a story was removed from its website are "completely wrong".

⚓ Meet the cement transport ship that makes cement ingredients while sailing
https://techcrunch.com/2025/07/16/meet-the-cement-transport-ship-that-makes-cement-ingredients-while-sailing/

Meet the cement transport ship that makes cement ingredients while sailing | TechCrunch
London-based Seabound has developed a carbon capture system that transforms CO2 from a ship's engine into limestone, which Heidelberg Materials will use to make cement.

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

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
In many application domains, domain-specific languages can allow domain experts to contribute to collaborative projects more correctly and efficiently. To do so, they must be able to understand program structure from reading existing source code. With high-quality data becoming an increasingly important resource, the creation of data pipelines is an important application domain for domain-specific languages. We execute a mixed-method study consisting of a controlled experiment and a follow-up…

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
Chenxu Liu, Zhiyu Gu, Guoquan Wu, Ying Zhang, Jun Wei, Tao Xie
https://arxiv.org/abs/2506.00520

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
Quality assurance of web applications is critical, as web applications play an essential role in people's daily lives. To reduce labor costs, automated web GUI testing (AWGT) is widely adopted, exploring web applications via GUI actions such as clicks and text inputs. However, these approaches face limitations in generating continuous and meaningful action sequences capable of covering complex functionalities. Recent work incorporates large language models (LLMs) for GUI testing. However, these…

Quantifying Student Success with Generative AI: A Monte Carlo Simulation Informed by Systematic Review
Seyma Yaman Kayadibi
https://arxiv.org/abs/2507.01062

Quantifying Student Success with Generative AI: A Monte Carlo Simulation Informed by Systematic Review
The exponential development of generative artificial intelligence (GenAI) technologies like ChatGPT has raised increasing curiosity about their use in higher education, specifically with respect to how students view them, make use of them, and the implications for learning outcomes. This paper employs a hybrid methodological approach involving a systematic literature review and simulation-based modeling to explore student perceptions of GenAI use in the context of higher education. A total of n…

Enhancing Critical Thinking in Generative AI Search with Metacognitive Prompts
Anjali Singh, Zhitong Guan, Soo Young Rieh
https://arxiv.org/abs/2505.24014 …

Enhancing Critical Thinking in Generative AI Search with Metacognitive Prompts
The growing use of Generative AI (GenAI) conversational search tools has raised concerns about their effects on people's metacognitive engagement, critical thinking, and learning. As people increasingly rely on GenAI to perform tasks such as analyzing and applying information, they may become less actively engaged in thinking and learning. This study examines whether metacognitive prompts - designed to encourage people to pause, reflect, assess their understanding, and consider multiple perspec…

Exploiting Euclidean Distance Field Properties for Fast and Safe 3D planning with a modified Lazy Theta*
Jose A. Cobano, L. Merino, F. Caballero
https://arxiv.org/abs/2505.24024

Exploiting Euclidean Distance Field Properties for Fast and Safe 3D planning with a modified Lazy Theta*
Graph search planners have been widely used for 3D path planning in the literature, and Euclidean Distance Fields (EDFs) are increasingly being used as a representation of the environment. However, to the best of our knowledge, the integration of EDFs into heuristic planning has been carried out in a loosely coupled fashion, dismissing EDF properties that can be used to accelerate/improve the planning process and enhance the safety margins of the resultant trajectories. This paper presents a fa…

An analysis of ~200 Shein items between April and July: prices spiked in April, settled at 12.5% above pre-tariff levels by late May, and jumped again in July (Reuters)
https://www.reuters.com/graphics/USA-TRUMP/TARIFF-SHEIN/lbpgzlrjzvq/

How price increases are adding up at Shein
Evidence for the impact of Trump’s trade war has shown up at the popular China-founded online retailer.

At least four firefighters have been injured over the last week while battling three wildfires in Northern California forests that are burning amid extreme heat in steep, bone-dry terrain, fire officials said Monday.
One firefighter combating the barely contained Green fire in the Shasta-Trinity National Forest sustained a blunt force trauma wound while working on the fire line Saturday
Another firefighter suffered a heat-related injury Sunday, she said. Both were treated at a h…

At least four firefighters injured while battling Northern California wildfires
At least four firefighters have been injured over the last week while battling three wildfires in Northern California forests that are burning amid extreme heat in steep, bone-dry terrain, fire officials said Monday.

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
Francisco Oliveira, Alexandra Mendes, Carolina Carreira
https://arxiv.org/abs/2506.23696

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software development, increasing software reliability often involves testing. However, for complex and critical systems, developers can use Design by Contract (DbC) methods to define precise specifications that software components must satisfy. Verification-Aware (VA) programming languages support DbC and formal verification at compile-time or run-time, offering stronger correctness guarant…