Tootfinder

fly_hemibrain: Fly hemibrain (2020)
A synaptic map of the hemibrain connectome of fruit fly Drosophila melanogaster. Nodes are neurons, and edges are synaptic connections, traced individually from brain image sections using EM reconstruction techniques. Neurons are labeled by their type. Edges are annotated by the connection strength between the neurons.
This network has 21739 nodes and 4259624 edges.
Tags: Biological, Connectome, Weighted, Metadata

Hmmm. Does this PicoBlade connector (J2) look too close to the PMOD to its left?
It only needs to get connected once during assembly, this won't be frequently actuated, so it's OK if it's a bit annoying as long as I don't like physically collide.
(The PMOD is just-in-case GPIO expansion and I have no plans to use it as of now)

Complexity Analysis of Convex Majorization Schemes for Nonconvex Constrained Optimization
Nuozhou Wang, Junyu Zhang, Shuzhong Zhang
https://arxiv.org/abs/2506.08506

Complexity Analysis of Convex Majorization Schemes for Nonconvex Constrained Optimization
We introduce and study various algorithms for solving nonconvex minimization with inequality constraints, based on the construction of convex surrogate envelopes that majorize the objective and the constraints. In the case where the objective and constraint functions are gradient Hölderian continuous, the surrogate functions can be readily constructed and the solution method can be efficiently implemented. The surrogate envelopes are extended to the settings where the second-order information …

Silly rabbit, #Connections are for kids!
#Connections731
Puzzle № 731
🟦🟦🟦🟦
🟩🟩🟩🟩
🟪🟪🟪🟪
🟨🟨🟨🟨

"White House deputy chief of staff Stephen Miller says President Donald Trump is looking for ways to expand its legal power to deport migrants who are in the United States illegally. To achieve that, he says the administration is “actively looking at” suspending habeas corpus, . ."

Trump team mulls suspending habeas corpus to speed deportations. Can it?
Top White House aide Stephen Miller says the Trump administration is looking for ways to expand its legal power to deport migrants who are in the United States illegally. To achieve that, he says President Donald Trump’s team is “actively looking at” suspending habeas corpus, the constitutional right for people to legally challenge their detention by the government. Such a move would be aimed at migrants as part of the Republican president’s broader crackdown at the U.S.-Mexico border. …

Accidental coincidences in camera-based high-dimensional entanglement certification
Rapha\"el Guitter (Institut des NanoSciences de Paris), Baptiste Courme (Institut des NanoSciences de Paris, Laboratoire Kastler Brossel), Chlo\'e Verni\`ere (Institut des NanoSciences de Paris), Peter Svihra (Faculty of Nuclear Sciences and Physical Engineering Czech Technical University), Andrei Nomerotski (Faculty of Nuclear Sciences and Physical Engineering Czech Technical University), Hugo…

Accidental coincidences in camera-based high-dimensional entanglement certification
High-dimensional entangled states, such as spatially-entangled photon pairs produced by Spontaneous Parametric Down-Conversion (SPDC), are a key resource for quantum technologies. In recent years, camera-based coincidence counting approaches have considerably improved the ability to characterize them in terms of speed and dimensionality. However, these methods have limitations, including in most of them the necessity to subtract accidental coincidences. Here, we study the role of these accident…

"His army"
"This incredible connection with his army" - National Zero
https://nationalzero.com/2025/06/11/he-has-this-incredible-connection-with-his-army/

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun
https://arxiv.org/abs/2506.08171

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
Large language models (LLMs) have been successfully applied to a variety of coding tasks, including code generation, completion, and repair. However, more complex symbolic reasoning tasks remain largely unexplored by LLMs. This paper investigates the capacity of LLMs to reason about worst-case executions in programs through symbolic constraints analysis, aiming to connect LLMs and symbolic reasoning approaches. Specifically, we define and address the problem of worst-case symbolic constraints a…

fly_hemibrain: Fly hemibrain (2020)
A synaptic map of the hemibrain connectome of fruit fly Drosophila melanogaster. Nodes are neurons, and edges are synaptic connections, traced individually from brain image sections using EM reconstruction techniques. Neurons are labeled by their type. Edges are annotated by the connection strength between the neurons.
This network has 21739 nodes and 4259624 edges.
Tags: Biological, Connectome, Weighted, Metadata

Uh, World Bank, solar?
World Bank Lifts Ban on Nuclear Power, Considers Upstream Gas | Financial Post
https://financialpost.com/pmn/business-pmn/world-bank-lifts-ban-on-nuclear-power-considers-upstream-gas