Tootfinder

Congratulations, UK, you’ve won the Orwell award.
https://www.theguardian.com/politics/2025/jul/02/uk-mps-vote-to-proscribe-palestine-action-as-terrorist-group

"Chemical companies lobbying MPs not to ban Pfas"
#Pfas #ForeverChemicals

Even though I've been there quite a few times, I never realized that large swathes of the UK's Peak District look like a series of abstract paintings in satellite view...
Are those traces of turf harvesting?
#MapSurfing #PeakDistrict

Great work by Maarten Staats to make all available grid hosting capacity maps in Europe accessible via one website. What started with the simple question: why doesn't this exist yet is now here via the bookmarkable URL https://www.gridcapacitymaps.eu

European Grid Capacity Maps
Interactive Open Access tool showcasing European electricity grid capacity resources with supply maps, demand maps, and simplified view for energy transition professionals.

moviegalaxies: Moviegalaxies, movies 410-466 (2018)
Social graphs for over 700 movies from the moviegalaxies.com website. Each node represents a character in a movie and each edge is a same-scene appearance between two characters in that movie. The weight gives the number of same-scene appearances. Networks are extracted from movie scripts automatically.
This network has 32 nodes and 134 edges.
Tags: Social, Fictional, Weighted

Trump moves nuclear submarines in response to Russia's 'highly provocative' statement - ABC News
https://abcnews.go.com/Politics/trump-moves-nuclear-submarines-response-russias-highly-provocative/story?id=124284200

MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
Andrea Coladangelo, Ruta Jawale, Dakshita Khurana, Giulio Malavolta, Hendrik Waldner
https://arxiv.org/abs/2506.22961

MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
The MPC-in-the-head technique (Ishai et al., STOC 2007) is a celebrated method to build zero-knowledge protocols with desirable theoretical properties and high practical efficiency. This technique has generated a large body of research and has influenced the design of real-world post-quantum cryptographic signatures. In this work, we present a generalization of the MPC-in-the-head paradigm to the quantum setting, where the MPC is running a quantum computation. As an application of our framework…

Paramount and Activision sign a deal for a live-action film based on Call of Duty; Paramount CEO David Ellison says it is his "dream come true" (Alex Weprin/The Hollywood Reporter)
https://www.hollywoodreporter.com/movies/m

‘Call of Duty’ Coming to Theaters as Paramount, Activision Strike Major Film Deal
The popular video game franchise will become a live action film through the deal, which Paramount CEO David Ellison calls a "dream come true."

From MBQI to Enumerative Instantiation and Back
Marek Dan\v{c}o, Petra Hozzov\'a, Mikol\'a\v{s} Janota
https://arxiv.org/abs/2506.22584 https://

From MBQI to Enumerative Instantiation and Back
This work investigates the relation between model-based quantifier instantiation (MBQI) and enumerative instantiation (EI) in Satisfiability Modulo Theories (SMT). MBQI operates at the semantic level and guarantees to find a counterexample to a given a non-model. However, it may lead to weak instantiations. In contrast, EI strives for completeness by systematically enumerating terms at the syntactic level. However, such terms may not be counter-examples. Here we investigate the relation between…

Comscore: US and Canada summer box office revenue was $3.67B, down slightly from $3.68B in 2024, and well short of the $4B from the Barbenheimer-fueled 2023 (Pamela McClintock/The Hollywood Reporter)
https://www.hollywoodreporter.com/movies/m

Summer Box Office Clobbered by Kryptonite: Domestic Revenue Barely Matches Last Year
The May to Labor Day season initially soared, but global grosses took a nosedive as foreign movie ticket sales plunged further and a glut of male-skewing tentpoles battled for scraps in the U.S.