Tootfinder

Aventures en terres inconnues, sur les traces d'un dangereux prédateur... #CatsOfMastodon #ChatmeDimanche

https://open.substack.com/pub/sandrodemaio/p/whats-good-for-dinner-is-good-for

What’s Good for Dinner is Good for the Planet 🍽️
How changing what’s on our plates could be one of the biggest steps we take for people and planet.

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu
https://arxiv.org/abs/2506.09455 …

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Modern verification tools for deep neural networks (DNNs) increasingly rely on abstraction to scale to realistic architectures. In parallel, proof production is becoming a critical requirement for increasing the reliability of DNN verification results. However, current proofproducing verifiers do not support abstraction-based reasoning, creating a gap between scalability and provable guarantees. We address this gap by introducing a novel framework for proof-producing abstraction-based DNN verif…

Was ich heute erlebt habe:
Ein junger Mann - für den die Bezeichnung halbstark erfunden worden sein könnte - telefoniert. Er beklagt sich über eine frau die ihn demütigt, bedroht, falsche behauptungen aufstellt. Er verlangt, dass die Person am Telefon sofort zu ihm kommt.
Zwei Frauen erscheinen. Eine droht ihm mit körperlicher Gewalt, sollte er ihrer Mutter (die zweite Frau) nochmals den Mittelfinger zeigen. Er habe kein Recht dazu, sie aber schon, da er ein A--loch sei.
Di…

Was ich heute erlebt habe:
Ein junger Mann - für den die Bezeichnung halbstark erfunden worden sein könnte - telefoniert. Er beklagt sich über eine frau die ihn demütigt, bedroht, falsche behauptungen aufstellt. Er verlangt, dass die Person am Telefon sofort zu ihm kommt.
Zwei Frauen erscheinen. Eine droht ihm mit körperlicher Gewalt, sollte er ihrer Mutter (die zweite Frau) nochmals den Mittelfinger zeigen. Er habe kein Recht dazu, sie aber schon, da er ein A--loch sei.
Di…

Japan thought it had a special relationship with the U.S.
Now, Tokyo is finding that its security alliance counts for little as it struggles to cut a trade deal.
After 101 tough days,
there was not much progress at all.
Japan did not readily give in to the Trump administration’s demands,
not least because of the domestic political considerations that constrained Ishiba’s administration from making concessions on key industries, such as autos, steel and rice.

Japan, after 101 tough days, learns a hard lesson about U.S. alliance
Japan though it had a special relationship with the U.S. Now, Tokyo is finding that its security alliance counts for little as it struggles to cut a trade deal.

Relaxation-Free Min-k-Partition for PCI Assignment in 5G Networks
Yeqing Qiu, Chengpiao Huang, Ye Xue, Zhipeng Jiang, Qingjiang Shi, Dong Zhang, Zhi-Quan Luo
https://arxiv.org/abs/2506.10362

Relaxation-Free Min-k-Partition for PCI Assignment in 5G Networks
Physical Cell Identity (PCI) is a critical parameter in 5G networks. Efficient and accurate PCI assignment is essential for mitigating mod-3 interference, mod-30 interference, collisions, and confusions among cells, which directly affect network reliability and user experience. In this paper, we propose a novel framework for PCI assignment by decomposing the problem into Min-3-Partition, Min-10-Partition, and a graph coloring problem, leveraging the Chinese Remainder Theorem (CRT). Furthermore,…

Exploring Image Transforms derived from Eye Gaze Variables for Progressive Autism Diagnosis
Abigail Copiaco, Christian Ritz, Yassine Himeur, Valsamma Eapen, Ammar Albanna, Wathiq Mansoor
https://arxiv.org/abs/2506.09065

Exploring Image Transforms derived from Eye Gaze Variables for Progressive Autism Diagnosis
The prevalence of Autism Spectrum Disorder (ASD) has surged rapidly over the past decade, posing significant challenges in communication, behavior, and focus for affected individuals. Current diagnostic techniques, though effective, are time-intensive, leading to high social and economic costs. This work introduces an AI-powered assistive technology designed to streamline ASD diagnosis and management, enhancing convenience for individuals with ASD and efficiency for caregivers and therapists. T…

Efficient Modular Multiplier over GF (2^m) for ECPM
Ruby Kumari, Gaurav Purohit, Abhijit Karmakar
https://arxiv.org/abs/2506.09464 https://

Efficient Modular Multiplier over GF (2^m) for ECPM
Elliptic curve cryptography (ECC) has emerged as the dominant public-key protocol, with NIST standardizing parameters for binary field GF(2^m) ECC systems. This work presents a hardware implementation of a Hybrid Multiplication technique for modular multiplication over binary field GF(2m), targeting NIST B-163, 233, 283, and 571 parameters. The design optimizes the combination of conventional multiplication (CM) and Karatsuba multiplication (KM) to enhance elliptic curve point multiplication (E…

my annoying engineering trait is that i don't like hardware abstraction layers
they're usually irritating to write code for, and equally irritating to reverse-engineer whenever i need to. i mostly end up reverse-engineering these days