Tootfinder

Lawmakers seek Constitutional Court review of law curtailing independence of Ukraine's anti-graft agencies: https://benborges.xyz/2025/07/23/lawmakers-seek-constitutional-court-review.html

Source: Snap is considering raising outside money to fund Spectacles development or spinning off Spectacles, to compete with deeper-pocketed rivals like Meta (The Information)
https://www.theinformation.com/articles/struggling-snap-considers-outsi…

Struggling Snap Considers Outside Funding for AR Glasses
For nearly as long as Evan Spiegel has run Snap Inc., his big bet has been on Spectacles, the company’s augmented reality glasses. All together, he has poured $3 billion into the effort—a fraction of what Mark Zuckerberg at Meta Platforms has invested in wearable technology, but a major expense ...

"Concrete Steps to a Cleaner Planet: 10 Sustainable Changes in the Construction Industry"
#Sustanability #Concrete

Concrete Steps to a Cleaner Planet: 10 Sustainable Changes in the Construction Industry | Happy Eco News
The next time new construction starts around your hometown, you don’t have to worry about the planet. Many construction companies have started using

R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
Raj Jain, Marc Wetter
https://arxiv.org/abs/2508.15204 https://arxiv.org/pdf/2508.15204…

R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
Effective scheduling under tight resource, timing, and operational constraints underpins large-scale planning across sectors such as capital projects, manufacturing, logistics, and IT fleet transitions. However, the reliability of large language models (LLMs) when reasoning under high-constraint regimes is insufficiently characterized. To address this gap, we present R-ConstraintBench, a scalable framework that evaluates models on Resource-Constrained Project Scheduling Problems (RCPSP), an NP-…

Connected and Exposed: Cybersecurity Risks, Regulatory Gaps, and Public Perception in Internet-Connected Vehicles
Henrietta Hegyi, Laszlo Erdodi
https://arxiv.org/abs/2508.15306

Connected and Exposed: Cybersecurity Risks, Regulatory Gaps, and Public Perception in Internet-Connected Vehicles
The rapid advancement of Internet-connected vehicle technologies has introduced a new era of smart mobility, while simultaneously raising significant cybersecurity and privacy concerns. This paper explores the evolving threat landscape associated with connected vehicles, focusing on risks such as unauthorized remote access and the potential leakage of personal data. To assess the current state of protection, we conducted a comprehensive analysis of 16 international standards and regulations, ev…

Constrained Control Allocation With Continuous-Time Rate Constraints: Three-Dimensional Case
S\"uleyman \"Ozkurt, Adrian Grimm, Walter Fichter
https://arxiv.org/abs/2507.15489

Constrained Control Allocation With Continuous-Time Rate Constraints: Three-Dimensional Case
This paper presents a novel quadratic programming (QP) approach for constrained control allocation that directly incorporates continuous-time actuator rate constraints without requiring slack variables. Over-actuated aircraft configurations, particularly prevalent in eVTOL and military applications, require control allocation algorithms to distribute commanded control moments among available actuators while respecting position and rate constraints. Existing methods such as direct allocation, ps…

Tell me how old the hotel treadmills are without telling me! 🤣
(But the treadmills of course worked fine… because equipment can long outlast whatever connectors happen to be popular at a given time..)

Salesforce launches Agentforce 3 with an observability tool called Command Center and MCP support, and says 8,000 customers have signed up to deploy Agentforce (Larry Dignan/Constellation Research)
https://www.constellationr.com/blog-news/i

Salesforce launches Agentforce 3, Command Center for visibility
Salesforce launched Agentforce 3, which features Agentforce Command Center, support for Model Context Protocol (MCP), and updated Atlas architecture to speed up reasoning and performance. The rollout maintains Salesforce's Agentforce cadence, which includes updates every few months as the company learns from enterprise use cases. In addition, Salesforce has added more than 30 partners to AgentExchange including AWS, Box, Cisco, Google Cloud, IBM and payments players such as PayPal and Stripe.

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Jeroen Spaans, Jesse Heyninck
https://arxiv.org/abs/2507.16067

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planning and scheduling. It has previously been extended in various directions, for example to support fuzzy constraint satisfaction, uncertainty, or negation, with different notions of semiring being used as a unifying abstraction for these generalizations. None of these extensions have studied clauses with negation allowe…

Google DeepMind unveils Aeneas, an AI model for contextualizing ancient Latin inscriptions, to help historians interpret and restore fragmentary texts (Google DeepMind)
https://deepmind.google/discover/blog/aeneas-transforms-how-historians-connect-the…

Aeneas transforms how historians connect the past
Introducing the first model for contextualizing ancient inscriptions, designed to help historians better interpret, attribute and restore fragmentary texts.