Tootfinder

"President Donald Trump has declared drug cartels to be unlawful combatants and says the United States is now in a 'non-international armed conflict…'"₁
Funny thing about Non-International Armed Conflicts (NIACs), they're "subject to International humanitarian law"₂ and randomly drone striking civilians in boats without any apparent evidence is still a war crime.
sources:
₁

US is in 'armed conflict' with drug cartels, Trump says
President Donald Trump has declared drug cartels to be unlawful combatants and says the United States is now in an “armed conflict." That's according to a Trump administration memo obtained Thursday by The Associated Press. The memo appears to represent an extraordinary assertion of presidential war powers, with Trump effectively declaring that trafficking of drugs into the United States amounts to armed conflict requiring the use of military force — a new rationale for past and future acti…

Oneleet, an integrated compliance service combining penetration testing, code scanning, and more, raised a $33M Series A led by Dawn Capital and hits $3M ARR (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2025/10/02/oneleet-raises-…

Oneleet raises $33M to shake up the world of security compliance | TechCrunch
Founder Bryan Onel says too many companies are doing the bare minimum to meet their security compliance obligations, and raised $33 million to help his customers get both compliant and secure.

🐨 Do animals fall for optical illusions? It’s complicated.
https://arstechnica.com/science/2025/10/do-animals-fall-for-optical-illusions-its-complicated/

Do animals fall for optical illusions? It’s complicated.
Guppies are highly susceptible to the Ebbinghaus illusion. Ring doves? Not so much.

Immersions of complexes of groups
Jagerynn Ting Verano
https://arxiv.org/abs/2510.01516 https://arxiv.org/pdf/2510.01516

Immersions of complexes of groups
Given a complex of groups, we construct a new class of complex of groups that records its local data and offer a functorial perspective on the statement that complexes of groups are locally developable. We also construct a new notion of an immersion of complexes of groups and establish that a locally isometric immersion of a complex of groups into a non-positively curved complex of groups is $π_1$-injective. Furthermore, the domain complex of groups is developable and the induced map on geomet…

"Programmers, as users of compilers, experience Wittgenstein’s observation every day; newer programming languages provide more sophisticated ways to express algorithms, thereby expanding the limits of their own programming capacity, LLMs and “vibe coding” notwithstanding."
https://deprogrammaticaipsum.com/vikra…

Vikram Chandra
There are a lot of different things we could have talked about in the Library section of an edition dedicated to compilers; one obvious choice would have been to talk about the quintessential compiler theory book, the 1986 "Dragon Book" also known as "Compilers: Principles, Techniques, and Tools" by Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. As excellent and Wikipedia-worthy as this one is, that is not the book we will talk about here.

Copenhagen-based Formalize, whose compliance software serves organizations in 80 countries, raised a €30M Series B co-led by Acton Capital and Blackfin Tech (Tamara Djurickovic/Tech.eu)
https://tech.eu/2025/10/28/formalize-raises-eur30m-to-a…

Formalize raises €30M to advance compliance solutions across Europe
Copenhagen-based Formalize has raised €30 million in a Series B co-led by Acton Capital and Blackfin Tech, with participation from West Hill Capital and CIBC Innovation Banking. The company has raised €50 million to date.Across Europe, organisations face an increasingly complex, interconnected regulatory landscape, with evolving rules reshaping expectations for information security, resilience, and reporting across industries and regions. Formalize, addresses this with a single platform…

Trump And Miller Compel Colleges Not To Enroll International Students (Stuart Anderson/Forbes)
https://www.forbes.com/sites/stuartanderson/2025/08/03/trump-and-miller-compel-colleges-not-to-enroll-international-students/
http://www.memeorandum.com/250803/p23#a250803p23

I get _real_ concerned when CoPilot starts pulling this shit.
Look you, I'm the human here and pulling dumb shit to get the compiler to stop complaining is MY job alright?

Omar Rodriguez-Lopez, el talentoso multiinstrumentista y compositor de At the Drive In y The Mars Volta, la banda que cambió mi manera de ver la música, estš hoy de cumpleaños N° 50.
#OmarRodriguezLopez #CumpleañosRockero

On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity
Sohail, Sahil
https://arxiv.org/abs/2509.02529 https://…

On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity
In this work, we establish a connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity. We begin by defining a convolution product between maps from the contracted semigroup algebra $\mathbb{C}_0[S]$ of a semigroup $S$ to an arbitrary associative algebra $\mathcal{A}$. The convolution product makes the space $L(\mathbb{C}_0[S],\mathcal{A})$ of linear maps from $\mathbb{C}_0[S]$ to $\mathcal{A}$ an associative algebra. We prove that the convolution al…