Tootfinder

Starting to try servo and filling bugs, probably not my first, but my first for a release version.
Servo 0.0.1 crashes when loading lefigaro.fr · Issue #40052 · servo/servo
https://github.com/servo/servo/issues/40052

Servo 0.0.1 crashes when loading lefigaro.fr · Issue #40052 · servo/servo
Describe the bug: When loading lefigaro.fr servo crashes. ludovic@nogoon ~/D/servo [SIGSEGV]> ./servo [FIGCONSENT] was executed [FIGCONSENT] new UUID generated [FIGCONSENT] UUID is WBWsCvrcDaJfxFeC...

Die Bundeswehr schließt einen Millionen-Deal mit #Google – Kritiker wie Kiesewetter, von Notz und Schönbohm warnen zurecht: Wer sicherheitskritische Systeme an US-Konzerne auslagert, macht sich erpressbar. Technologische Souveränität? Fehlanzeige. Statt „Fort Knox“-Marketing wäre Eigenständigkeit die sicherere Wahl. |
Abhängigkeiten bei der Bundeswehr: Scharfe Kritik an Deal mit Google-Clou…

Abhängigkeiten bei der Bundeswehr: Scharfe Kritik an Deal mit Google-Cloud
Der Beschluss der Bundeswehr, auf Cloud-Dienste von Google zu setzen, kommt bei Sicherheitspolitikern nicht gut an: Deutschland könne politisch erpresst werden.

A climber lost his life after falling 2,000 feet down the Wintun Glacier along Mount Shasta's Clear Creek climbing route last Friday.
The Siskiyou County Sheriff's Office said deputies responded to the Clear Creek Trailhead around 2:30 p.m. on September 12, after receiving a distress call from a mountain climber who witnessed the fall.

Mount Shasta climber dies after 2,000-foot fall on Wintun Glacier
A climber lost his life after falling 2,000 feet down the Wintun Glacier along Mount Shasta's Clear Creek climbing route last Friday.

Challenges of Virtual Validation and Verification for Automotive Functions
Beatriz Cabrero-Daniel, Mazen Mohamad
https://arxiv.org/abs/2508.14747 https://a…

Challenges of Virtual Validation and Verification for Automotive Functions
Verification and validation of vehicles is a complex yet critical process, particularly for ensuring safety and coverage through simulations. However, achieving realistic and useful simulations comes with significant challenges. To explore these challenges, we conducted a workshop with experts in the field, allowing them to brainstorm key obstacles. Following this, we distributed a survey to consolidate findings and gain further insights into potential solutions. The experts identified 17 key c…

🤯 How India's unplanned hydropower dams and tunnels are disrupting Himalayan landscapes
https://phys.org/news/2025-09-india-unplanned-hydropower-tunnels-disrupting.html

How India's unplanned hydropower dams and tunnels are disrupting Himalayan landscapes
Uttarakhand, referred to as the land of gods, is also known as the energy state of India. It is home to several fast-flowing rivers at high altitudes that serve as the perfect backdrop for harnessing energy from water to produce hydroelectric power.

Five-time Pro Bowl guard Brandon Scherff retires from NFL after 10 seasons https://www.nfl.com/news/five-time-pro-bowl-guard-brandon-scherff-retires-from-nfl-after-10-seasons

Constraining Cosmology with Double-Source-Plane Strong Gravitational Lenses From the AGEL Survey
Duncan J. Bowden, Nandini Sahu, Anowar J. Shajib, Kim-Vy Tran, Tania M. Barone, Keerthi Vasan G. C., Daniel J. Ballard, Thomas E. Collett, Faith Dalessandro, Giovanni Ferrami, Karl Glazebrook, William J. Gottemoller, Leena Iwamoto, Tucker Jones, Glenn G. Kacprzak, Geraint F. Lewis, Haven McIntosh-Lombardo, Hannah Skobe, Sherry H. Suyu, Sarah M. Sweet

Constraining Cosmology with Double-Source-Plane Strong Gravitational Lenses From the AGEL Survey
Double-source-plane strong gravitational lenses (DSPLs), with two sources at different redshifts, are independent cosmological probes of the dark energy equation of state parameter $w$ and the matter density parameter $Ω_{\rm m}$. We present the lens model for the DSPL AGEL035346$-$170639 and infer cosmological constraints from this system for flat $Λ$CDM and flat $w$CDM cosmologies. From the joint posterior of $w$ and $Ω_{\rm m}$ in the flat $w$CDM cosmology, we extract the following median…

Magmal characterisations of cocartesian categories
Nathanael Arkor
https://arxiv.org/abs/2508.11615 https://arxiv.org/pdf/2508.11615

Magmal characterisations of cocartesian categories
We present a survey of characterisations of cocartesian categories in terms of monoidal categories - and, more generally, magmal categories - satisfying additional properties. In particular, we show that the following are equivalent for a unital magmal category $(\mathcal M, \otimes)$, sharpening several classical characterisations. * $(\mathcal M, \otimes)$ is cocartesian monoidal. * Every object of $\mathcal M$ admits the structure of a unital magma with respect to $\otimes$, such that ev…

Sources: ESPN cuts ties with Shannon Sharpe after he settled a lawsuit accusing him of rape; Sharpe had said he'd return to ESPN at the start of NFL preseason (Andrew Marchand/New York Times)
https://www.nytimes.com/athletic/6525499/2

ESPN parts ways with Shannon Sharpe following settlement of rape lawsuit: Sources
Sharpe has not been on ESPN since late April, when the suit was first filed.