Tootfinder

The AI equivalent of your starship exploding at the launchpad. https://tldr.nettime.org/@festal/114721637610323807

felix stalder (@festal@tldr.nettime.org)
Attached: 1 image Oh yeah, fast track model collapse!

Die Verkehrswende ist feministisch. Die Reaktion der CDU hier in Hagen auf diesen Satz war Gold wert. „Huiuiuiuiiii“. Der Vorschlag war, beim Anwohnerparken das Zeitfenster 8-17 Uhr oder so auszunehmen.
Ursprünglicher Beitrag: https://bsky.app/profile/did:plc:j7d3m

Von #Thiel & Co heißt es bzgl. #Palantir lt. tagesschau-investigativ: "Nähe zur Trump-Regierung antwortete Palantir, man konzentriere sich darauf, langfristigen Interessen der Gesellschaft zu dienen, unabhängig von politischen Veränderungen."
Als ob das libertäre, auf rücksichtslose Disrupti…

Advanced Langevin thermostats: Properties, extensions to rheology, and a lean momentum-conserving approach
Shubham Agarwal, Sergey V. Sukhomlinov, Marc Honecker, Martin H. M\"user
https://arxiv.org/abs/2506.15579

Advanced Langevin thermostats: Properties, extensions to rheology, and a lean momentum-conserving approach
The Langevin equation accounts for unresolved bath degrees of freedom driving the system toward the bath temperature. Because of this, numerical solutions of the Langevin equation have a long history. Here, we recapitulate, combine, and extend existing Langevin-equation based thermostats, scrutinize their properties and demonstrate their superiority over global kinetic-energy controls. Our work includes compact, asymptotic-analysis based derivations of stochastic thermostats, including the high…

Früh übt sich! Schach kann auch mit den Jüngsten Spaß machen – im Workshop gibt’s Tipps für den Einstieg in der Kita.
➡️ https://www.deutsche-schachjugend.de/termine/2025/akademie/

Es macht mich auf eine extrem nerdige Art total aufgeregt, wenn in einem Esperanto-sprachigen Podcast Martin Haase @… den Ergativ als Besonderheit bei der Flexion der Substantive im Baskischen erklärt.
https://

KP228 Eŭska lingvo
Tre speciala lingvo Eŭropa La Eŭska lingvo estas tre speciala lingvo parolata en nord-orienta Hispanio kaj sud-okcidenta Francio. Oni foje aŭdas, ke ĝi estas la "lasta" Eŭropa lingvo, ĉar ĝi ne estas parenca al ajna alia Eŭropa lingvo, kiuj ĉiuj estis enkondukitaj de pli orientaj mondopartoj. Ni diskutas pri spertulo pro la Eŭska lingvo pri la historio de la lingvo ĝiaj specialaĵoj kaj la nuna situacio de la lingva regiono.

macOS 26 Tahoe: Letztes Release für Intel, Launchpad sagt Tschüss
Gnadenfrist für User ohne Apple Silicon: Apple bringt macOS 26 noch auf einige Intel-Maschinen. Mit macOS 27 ist aber Schluss. Auch das LaunchPad sagt Tschüss.

Jeffco sheriff pushes back on 'misleading' Denver ICE statement (Katie Langford/Denver Post)
https://www.denverpost.com/2025/06/19/denver-ice-jeffco-sheriff-post-jail-colorado-immigration/
http://www.memeorandum.com/250619/p124#a250619p124

so lost mal wieder

LeanExplore: A search engine for Lean 4 declarations
Justin Asher (Independent Researcher)
https://arxiv.org/abs/2506.11085 https://a…

LeanExplore: A search engine for Lean 4 declarations
The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual me…