Tootfinder

budapest_connectome: Budapest Reference Connectome 3.0
A parameterizable consensus brain graph, derived from connectomes of 477 people, each computed from MRI datasets of the Human Connectome Project. Nodes are brain regions, and edges are weighted by the number of "tracks" that run between two nodes, as well as fiber length, fractional anisotropy and the number of occurrences in each of the 477 individuals.
This network has 1015 nodes and 96857 edges.
Tags: Biolo…

Trunk Tools, which provides AI services to organize construction documentation, raised a $40M Series B led by Insight, bringing its total funding to $70M (Kyt Dotson/SiliconANGLE)
https://siliconangle.com/2025/07/24/trunk-too…

Trunk Tools raises $40M to revolutionize how construction teams interact with project data - SiliconANGLE
Trunk Tools raises $40M to revolutionize how construction teams interact with project data - SiliconANGLE

Virtual Arc Consistency for Linear Constraints inCost Function Networks
Pierre Montalbano, Simon de Givry, George Katsirelos
https://arxiv.org/abs/2509.17706 https://

Virtual Arc Consistency for Linear Constraints inCost Function Networks
In Constraint Programming, solving discrete minimization problems with hard and soft constraints can be done either using (i) soft global constraints, (ii) a reformulation into a linear program, or (iii) a reformulation into local cost functions. Approach (i) benefits from a vast catalog of constraints. Each soft constraint propagator communicates with other soft constraints only through the variable domains, resulting in weak lower bounds. Conversely, the approach (ii) provides a global view w…

That shithead Palmer Luckey is considering making fully US-made laptops and wants to know if people would spend 20% more for an American made laptop. Sure, Palmer. But not for your racist ass. I'd never give you a cent https…

Palmer Luckey considering entering laptop market with fully US-made model, wants to know if you'd spend 20% more for an American-made PC
It seems Luckey's military technology startup is considering a product slightly different from its current portfolio.

No sector has seen greater change than automotive. Packed with intelligent sensors, AI, GPS, cameras and in-car software, today’s vehicles generate and transmit vast volumes of data.
While this helps with seamless connectivity and smarter driving, it also creates serious security, privacy, and compliance risks automotive firms and tech providers can’t afford to ignore.

How connected cars are creating new data protection risks
Seamless connectivity helps with smarter driving, but creates security, privacy and compliance risks vendors can’t afford to ignore, argues Jonathan Armstrong.

Singleton algorithms for the Constraint Satisfaction Problem
Dmitriy Zhuk
https://arxiv.org/abs/2509.18434 https://arxiv.org/pdf/2509.18434

Singleton algorithms for the Constraint Satisfaction Problem
A natural strengthening of an algorithm for the (promise) constraint satisfaction problem is its singleton version: we first fix a constraint to some tuple from the constraint relation, then run the algorithm, and remove the tuple from the constraint if the answer is negative. We characterize the power of the singleton versions of standard universal algorithms for the (promise) CSP over a fixed template in terms of the existence of a minion homomorphism. Using the Hales-Jewett theorem, we show …

Eccentric Connectivity Index of Strongly Connected Digraphs
Vysakh Chakooth, Prasanth G. Narasimha-Shenoi, Prakash G. Narasimha-Shenoi
https://arxiv.org/abs/2509.17019 https://

Eccentric Connectivity Index of Strongly Connected Digraphs
Let $G = (V, E)$ be a graph with non-empty set of vertices $V$ and set of edges $E$. The \emph{eccentric connectivity index} of the graph $G$ is defined as $$\displaystyle{ξ^C(G) = \sum_{u \in V} d_u \;ecc(u)}$$ where $d_u$ is the degree and $ecc(u)$ is the eccentricity of the vertex $u \in V$. This article is an attempt to find the \emph{eccentric connectivity index} of strongly connected digraph $D$ with respect to the metric, \textit{maximum distance} defined by $md(u,v)=\max\{\vec{d}(u,v),…

In-person and telephone town halls used to be a common way for members of Congress to connect with constituents following a busy session.
Earlier this year, though, the NRCC urged Republicans to avoid town halls altogether
— and those lawmakers seem to be listening.
Take the tense scene inside a packed auditorium in Lincoln, Nebraska, recently,
where Republican Rep. Mike Flood faced hundreds of constituents during an August 4 town hall.
"How can you justi…

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.

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…