Tootfinder

As if overburdened CISOs don't have enough challenges, they also face a central problem in their organizations: their peers don't really know what they do.
Check out my latest CSO piece on this stumbling block and how CISOs can communicate their missions to colleagues.
Thanks to Andy Ellis, Bethany De Lude, Susan Chiang, and Omar Khawaja for their insights.

The CISO’s challenge: Getting colleagues to understand what you do
CISOs often operate with significant responsibility but limited formal authority, making it critical to articulate their role clearly. Experts offer strategies for CISOs to communicate their mission to colleagues and customers.

🏳️‍🌈 Commodore 64 Ultimate is a new FPGA-based computer that should be compatible with most classic C64 games and software
https://liliputing.com/commodore-64-ultimate-is-a-new-fpga-based-computer-t…

Commodore 64 Ultimate is a new FPGA-based computer that should be compatible with most classic C64 games and software - Liliputing
Commodore 64 Ultimate is a new FPGA-based computer that should be compatible with most classic C64 games and software

Investigation: California colleges and universities continue to renew Turnitin subscriptions despite the cost, faulty anti-plagiarism tech, and privacy issues (Tara García Mathewson/The Markup)
https://themarkup.org/artificial-intelligence/2025/06/2…

California colleges spend millions to catch plagiarism and AI. Is the faulty tech worth it? – The Markup
Colleges and universities renew Turnitin subscriptions year after year even though its flawed detectors are expensive and require students to let the company keep their papers forever.

I'd like to applaud this but the Erdogan regime is a pariah too.
Turkiye closes airspace to Israel, bans Israeli ships from Turkish ports | Israel-Palestine conflict News | Al Jazeera
https://www.aljazeera.com/news/2025/8/29/t

Turkiye closes airspace to Israel, bans Israeli ships from Turkish ports
Turkiye’s top diplomat said his country has ‘completely’ cut off trade with Israel over its ongoing genocide.

sp_high_school_new: High school dynamic contacts (2011-2012)
These datasets contain the temporal network of contacts between students in a high school in Marseilles, France. The first dataset gives the contacts of the students of three classes during 4 days in Dec. 2011, and the second corresponds to the contacts of the students of 5 classes during 7 days (from a Monday to the Tuesday of the following week) in Nov. 2012.
This network has 126 nodes and 28561 edges.
Tags: Soc…

Graph neural networks for residential location choice: connection to classical logit models
Zhanhong Cheng, Lingqian Hu, Yuheng Bu, Yuqi Zhou, Shenhao Wang
https://arxiv.org/abs/2507.21334

Graph neural networks for residential location choice: connection to classical logit models
Researchers have adopted deep learning for classical discrete choice analysis as it can capture complex feature relationships and achieve higher predictive performance. However, the existing deep learning approaches cannot explicitly capture the relationship among choice alternatives, which has been a long-lasting focus in classical discrete choice models. To address the gap, this paper introduces Graph Neural Network (GNN) as a novel framework to analyze residential location choice. The GNN-ba…

»Life360 Secretly Sells Users’ Geolocation Data to Third Parties, Class Action Claims:
A proposed class action alleges family tracking app Life360 secretly sells data about users’ locations and movements to third parties.«
When apps are (almost) free, they make unlimited money by selling you. Don't trust any, if they don't communicate their data protection.
🕵️

Life360 Secretly Sells Users’ Geolocation Data to Third Parties, Class Action Claims
A class action alleges family tracking app Life360 secretly sells data about users’ locations and movements to third parties.

A little orchestral song I have been working on since Yesterday. As I have COVID I cannot do shit outside, so I'm composing 'happy' music.
#musescore #ClassicalMusic #orchestra

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
https://arxiv.org/abs/2507.20726

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
We propose a novel approach to satisfiability checking of Constrained Horn Clauses (CHCs) over Algebraic Data Types (ADTs). CHC-based automated verification has gained considerable attention in recent years, leading to the development of various CHC solvers. However, existing solvers for CHCs over ADTs are not fully satisfactory, due to their limited ability to find and express models involving inductively defined functions/predicates (e.g., those about the sum of list elements). To address thi…

Google will roll out AI Mode in the UK in the coming days after launching in the US and India; the optional feature will appear as a tab and in the search box (Zoe Kleinman/BBC)
https://www.bbc.com/news/articles/clyj4zky4zwo

Google launches new 'AI mode' search feature in UK
The new tool marks a significant change for the search giant but raises questions for advertisers.