Tootfinder

Predicting seven NFL players who will make noise at 2025 minicamp: Cowboys, Eagles could have sleeper weapons

https://www.cbssports.com/nfl/ne…

#NowPlaying The Gravel Pit's modern rock/power pop masterpiece from 1999, 'The Silver Gorilla' https://q-dee.bandcamp.com/album/the-silver-gorilla

Technical report on a quantum-inspired solver for simulating compressible flows
Raghavendra Dheeraj Peddinti, Stefano Pisoni, Egor Tiunov, Alessandro Marini, Leandro Aolita
https://arxiv.org/abs/2506.03833

Technical report on a quantum-inspired solver for simulating compressible flows
This document presents a quantum-inspired solver for 2D Euler equations, accepted at the final phase of the Airbus-BWM Group Quantum Computing Challenge (ABQCC) 2024. We tackle the case study of Quantum Solvers for Predictive Aeroacoustic and Aerodynamic modeling tasks. We propose a tensor network based solver that scales polylogarithmically with the mesh size, in both runtime and memory. This provides a promising avenue for tackling the curse of dimensionality that plagues the direct numerical…

Bontenbal, nooit te beroerd om iedereen de maat te nemen, hekelt hier niet de stemming tijdens een voor Nederland belangrijk moment (herdenking van het slavernijverleden, waar de voorzitter van de Kamer door zijn verspreiding van racistische gedachtengoed niet past). Nee, Bontenbal hekelt de Kamerleden die uit fatsoen en respect als volksvertegenwoordiger bij die herdenking zijn.

AIMSCheck: Leveraging LLMs for AI-Assisted Review of Modern Slavery Statements Across Jurisdictions
Adriana Eufrosina Bora, Akshatha Arodi, Duoyi Zhang, Jordan Bannister, Mirko Bronzi, Arsene Fansi Tchango, Md Abul Bashar, Richi Nayak, Kerrie Mengersen
https://arxiv.org/abs/2506.01671

AIMSCheck: Leveraging LLMs for AI-Assisted Review of Modern Slavery Statements Across Jurisdictions
Modern Slavery Acts mandate that corporations disclose their efforts to combat modern slavery, aiming to enhance transparency and strengthen practices for its eradication. However, verifying these statements remains challenging due to their complex, diversified language and the sheer number of statements that must be reviewed. The development of NLP tools to assist in this task is also difficult due to a scarcity of annotated data. Furthermore, as modern slavery transparency legislation has bee…

The Vampire Diary
Filip B\'artek, Ahmed Bhayat, Robin Coutelier, M\'arton Hajdu, Matthias Hetzenberger, Petra Hozzov\'a, Laura Kov\'acs, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
https://arxiv.org/abs/2506.03030

The Vampire Diary
During the past decade of continuous development, the theorem prover Vampire has become an automated solver for the combined theories of commonly-used data structures. Vampire now supports arithmetic, induction, and higher-order logic. These advances have been made to meet the demands of software verification, enabling Vampire to effectively complement SAT/SMT solvers and aid proof assistants. We explain how best to use Vampire in practice and review the main changes Vampire has undergone since…

One of the main setbacks to finish my homelab migration from nomad to k8s has been cert-manager compatibility with some of my domains. I didn't want to migrate everything to cloudflare. I've got 2 domains on easydns.com, which isn't supported by cert-manager, but is supported by dns-lexicon.
I found a cert-manager-webhook wrapper around dns-lexicon. Then I forked a fork so that I could tune the build pipeline to produce multi-arch images quickly.
Anyway here…

Gater Gitmo is to filter out workers for Trumps new Slavery policy where he sells them to businesses.
He says the farmers will be "owners" in this video
Make Americans Slaves Again
https://bsky.app/profile/fetchstep.bsky.social/post/3lszigsx…

Confederacy group sues Georgia park for planning an exhibit on slavery and segregation
https://www.yahoo.com/news/confederacy-group-sues-georgia-park-212944851.html

Buzz from Jaguars OTAs: Why Travis Etienne may be a sneaky Fantasy Football sleeper in 2025

https://www.cbssports.com/fantasy/football