Tootfinder

from my link log —
Bringing runtime index checks to compile time in Rust.
https://ktkaufman03.github.io/blog/2023/04/20/rust-compile-time-checks/
saved 2023-04-27

Quand on oublie on n'apprend pas
Antisémitisme de Vichy : un conflit entre historiens porté au tribunal
https://www.lemonde.fr/idees/article/2025/07/17/antisemitisme-de-vichy-un-conflit-entre-histo…

Antisémitisme de Vichy : un conflit entre historiens porté au tribunal
Quatre-vingt-trois ans après la rafle du Vél’d’Hiv, des historiens insistant sur la dimension xénophobe plus qu’antisémite de l’Etat français s’estiment diffamés et ont intenté plusieurs actions en justice contre des universitaires et des journalistes.

Exact solutions to complex Type IIB supergravity for complex superalgebra $F(4)$ and its real forms
Eric D'Hoker, Michael Gutperle, Christoph F. Uhlemann
https://arxiv.org/abs/2508.14959

Exact solutions to complex Type IIB supergravity for complex superalgebra $F(4)$ and its real forms
We construct the general local solutions to complexified Type IIB supergravity which are invariant under the complexified Lie superalgebra $F(4)$. The geometry is a product of complexified maximally symmetric spaces $\mathcal M_{6 {\mathbb C}}$ and $\mathcal M_{2 {\mathbb C}}$ warped over a complexified surface $Σ_{\mathbb C}$. We classify the reality conditions that may be imposed consistently to obtain real form solutions within real forms of complex Type IIB supergravity. The latter compris…

Agree to disagree: Why we fear conflict and what to do about it https://theconversation.com/agree-to-disagree-why-we-fear-conflict-and-what-to-do-about-it-267576

Agree to disagree: Why we fear conflict and what to do about it
When every difference of opinion risks being framed as offensive, space for genuine communication and learning disappears.

Completions of Restricted Complexity I, Weak Arithmetical Theories
Ali Enayat, Mateusz {\L}e{\l}yk, Albert Visser
https://arxiv.org/abs/2508.14758 https://…

Completions of Restricted Complexity I, Weak Arithmetical Theories
Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $Σ_n$-sentences such that $T$ can be axiomatized by $\mathcal A$. Motivated by the fact that no consistent arithmetical theory extending $\mathrm{I}Δ_{0}+\mathsf{Exp}$ has a consistent completion that is of restricted complexity, we construct models of arithmetic whose complete theories are of …

How Dan Campbell's 'kneecap speech' forever changed the NFL and the Detroit Lions https://www.espn.com/nfl/story/_/id/46293217/detroit-lions-nfl-dan-campbell-kneecap-speech

Facial nested complexes and acyclonestohedra
Chiara Mantovani, Arnau Padrol, Vincent Pilaud
https://arxiv.org/abs/2509.15914 https://arxiv.org/pdf/2509.159…

Facial nested complexes and acyclonestohedra
We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope. We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic sub…

BREAKTHROUGH: Belgian Authorities Arrest and Interrogate Israeli War Crimes Suspects Following Complaint by Hind Rajab Foundation and GLAN - THE HIND RAJAB FOUNDATION
https://www.hindr…

Lions' Dan Campbell on Jahmyr Gibbs' 218-yard performance vs. Buccaneers: 'It was huge. You felt like this was coming' https://www.nfl.com/news/lions-dan-campbell-on-jahmyr-gibbs-218-yard-performance-vs-buccaneers-it-was-hu…

Lions' unsung defense steps up, surprises even Dan Campbell: 'I had confidence, but nine points?' https://www.nfl.com/news/lions-unsung-defense-steps-up-surprises-even-dan-campbell-i-had-confidence-but-nine-points