Tootfinder

Excelsior Sciences, which aims to use AI and robots for small-molecule drug discovery and development, raised a $70M Series A from Khosla Ventures and others (Aayushi Pratap/Chemical & Engineering News)
https://cen.acs.org/physical-chemistry

New York AI chemistry start-up raises $95 million 
Excelsior Sciences cofounders say the company will make new molecules using robots and artificial intelligence

What should you do if you are unable to connect to the Dutch grid? Build your own distribution grid! That’s what a renewable energy developer in the north of the country has done.
https://www.novar.energy/news/novar-establishes-its-own-grid-connection/

Novar establishes its own grid connection - Novar EN
The answer to the congested energy grid: Novar establishes its own grid connection for the largest solar park in the Netherlands. Read the full press release here.

The third-party app store known as AltStore,
one of the first companies to offer an alternative app marketplace in the European Union,
is preparing to connect its platform with the open social web known as the fediverse.
The move would connect users on other open social apps,
like Mastodon or Meta’s Threads,
with updates from apps in a new way.
In addition, the startup is announcing its first funding round from outside investors,
with a $6 million Se…

Alternative app store AltStore raises $6M, connects with the fediverse | TechCrunch
The alternative app marketplace AltStore has raised $6 million and launched a Mastodon server.

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
Weichun Shi, Minghao Liu, Wanting Zhang, Langchen Shi, Fuqi Jia, Feifei Ma, Jian Zhang
https://arxiv.org/abs/2510.05774

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
Constraint programming (CP) is a crucial technology for solving real-world constraint optimization problems (COPs), with the advantages of rich modeling semantics and high solving efficiency. Using large language models (LLMs) to generate formal modeling automatically for COPs is becoming a promising approach, which aims to build trustworthy neuro-symbolic AI with the help of symbolic solvers. However, CP has received less attention compared to works based on operations research (OR) models. We…

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 71604 edges.
Tags: Biolo…

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
Xiangyu Guo, Ajay Bansal
https://arxiv.org/abs/2510.04049 https://

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
This paper presents examples of using integrity constraints in stableKanren to encode numeric computations for problem solving. Then, we use one of the examples to introduce multiple ways to infuse heuristic knowledge and reduce solving time. stableKanren is an extension of miniKanren that supports normal logic programs under stable model semantics. stableKanren further supports numeric computation by constructing a constraint store for integrity constraints. There are three ways to extend a re…

Supreme Connections:
Every year, the Supreme Court’s nine justices fill out a form that discloses their financial connections to companies and people. Using the new database from @…, you can now search for organizations and people that have paid the justices, reimbursed them for travel, given them gifts and more.

Supreme Connections (home)
Search Supreme Court financial disclosures for organizations and people that have paid justices, reimbursed them for travel, given them gifts and more.

Things are moving fast in cyber world, so don't miss today's Metacurity for the most critical developments you should know, including
--ShinyHunters is extorting Red Hat, LAPSUS$ teen in UK custody may be connected,
--Jaguar Land Rover to resume production at some sites,
--Apple faces French probe over Siri recordings,
--SEC probes AppLovin's data collection practices,
--Google's CodeMender is a security Swiss army knife,
--Prankster tells W…

ShinyHunters is extorting Red Hat, LAPSUS$ teen in UK custody may be connected
Jaguar Land Rover to resume production at some sites, Apple faces French probe over Siri recordings, SEC probes AppLovin's data collection practices, Google's CodeMender is a security Swiss army knife, Prankster tells WSU students their degrees no longer count, much more

Vodafone and AST SpaceMobile plan to establish a Europe-led satellite constellation, operated out of Germany, to provide satellite-to-smartphone connectivity (Reuters)
https://www.reuters.com/business/vodafone-ast-spacemobile-launch…

AltStore, one of the first alternative app stores in the EU, raised a $6M Series A led by Pace Capital, aims to launch in Australia, Brazil, and Japan in 2025 (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/10/07/alternative-app-st…

Alternative app store AltStore raises $6M, connects with the fediverse | TechCrunch
The alternative app marketplace AltStore has raised $6 million and launched a Mastodon server.