Tootfinder

https://www.volksverpetzer.de/faktencheck/spanien-stromausfall-geklaert/

This story of an ex-Googler is well worth reading. After some personal observations, @… asks interesting questions:
What is crypto mining if not a textbook Captain Planet villain scheme—to kill and raze and destroy for nothing but imaginary tokens proving that you did lots of killing and razing and …

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hern\'an Gagliardi, Victor Braberman, Sebastian Uchitel
https://arxiv.org/abs/2506.16557

Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the plant to be controlled, given as a set of labelled transition systems (LTS), to mitigate state explosion that monolithic approaches to synthesis are prone to. Maximally permissive safe controllers are iteratively built for subsets of the plant LTSs by solving weaker control problems. Observational synthesis equivalence i…

From 600 Tools to 1 Console: A UX-Driven Transformation
Mariann Kornelia Smith, Jacqueline Meijer-Irons, Andrew Millar
https://arxiv.org/abs/2506.16107 htt…

From 600 Tools to 1 Console: A UX-Driven Transformation
In 2021 the Technical Infrastructure (TI) User Experience (UX) team sent a survey to 10,000 Google Developers (Googlers) and uncovered that Google's internal infrastructure tools were fragmented and inefficient, hindering developers' productivity. Using user centered research and design methodologies the team first created a story map and service blueprint to visualize the relationship between internal applications, then formulated a strategic vision to consolidate tools, streamline workflows, …

On the rigidity of manifolds with respect to Gagliardo-Nirenberg inequalities
Liang Cheng
https://arxiv.org/abs/2507.05908 https://ar…

On the rigidity of manifolds with respect to Gagliardo-Nirenberg inequalities
In this paper, we study the rigidity properties concerning the Gagliardo-Nirenberg constants and the unweighted Yamabe-type constants. We establish that when $α$ lies in a specific range around $1$, if an open subset $V \subset M$ satisfies $\int_{V} λ_1(\operatorname{Rc}) \, dμ\geq 0$ and the Gagliardo-Nirenberg constants $\mathbb{G}_α^{\pm}(V,g)$ are not less than those of the Euclidean space, then $V$ must be flat. Here, $λ_1(\operatorname{Rc})$ denotes the first eigenvalue of the Ricci…

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[3/5]:
- The Target Polish: A New Approach to Outlier-Resistant Non-Negative Matrix and Tensor Factorization
Paul Fogel, Christophe Geissler, George Luta

Statement from AFM International President on Trump Attacking Members Bruce Springsteen and Taylor Swift
https://www.afm.org/2025/05/afm-statement-on-trump-attacking-members-bruce-springsteen-and-taylor-swift/

Statement from AFM International President on Trump Attacking Members Bruce Springsteen and Taylor Swift
American Federation of Musicians International President Tino Gagliardi issued the following statement in response to Donald Trump’s attacks on members Bruce Springsteen, member of Local 47 (Los…

“I’m usually fine with surveillance capitalism but this is too much, even for me.”
#surveillance #capitalism #BigTech

Filippo Valsorda :go: (@filippo@abyssdomain.expert)
Attached: 1 image I usually get where big tech is coming from, but this is just malicious tracking. If you're an engineer and you're asked to implement something like this, it's time to whistleblow. I hope the IE DPA will look into it. Anyway, Local Network Access (https://github.com/explainers-by-googlers/local-network-access) can't come soon enough. https://localmess.github.io

Wirbel um Lobau-Tunnel - Gewessler-Klage geplatzt: ÖVP lässt FPÖ abblitzen #News #Nachrichten

Was für ein Shit Move von GitHub (Microsoft) https://infosec.exchange/@tomgag/114504958452945090 /via @…

Tommaso Gagliardoni (@tomgag@infosec.exchange)
Attached: 1 image In a move that surprises absolutely noone, GitHub now requires users to login in order to browse public repositories (including open source projects). After a few (~10) requests, you get blocked (I can confirm). In order to fight AI scrapers, I guess. So, GitHub decided to blanket-limit access to open source projects as a defense against the very scourge that they(r parent company) unleashed on the world. I won't be hypocrite: it's a bit embarrassing, but undeniably satisfy…