Tootfinder

This was a big crowd, with specific actions people can take in a blue area of a blue state. The most important thing is follow up.
https://bsky.app/profile/indivisiblepaplus.bsky.social/post/3luamkf7lkc2i

I'm migrating my articles and blogging, and you can kind of follow my process.
I just posted this, which includes this line: "Building your goals in someone else’s sandbox alone is not ideal, a little like building a castle on sand."
https://davaug.medium.com/online-longe

Online Longevity - David August - Medium
I am shifting my article posting and blogging to a new place: https://davidaugust.ghost.io (I signed up for the 14 day trial… not sure yet if investing in paying monthly or annually is a good idea)…

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…

CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
Tadahiro Taniguchi, Masatoshi Nagano, Haruumi Omoto, Yoshiki Hayashi
https://arxiv.org/abs/2507.11906

CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
Collective human activities like using an Ouija board (or Kokkuri-san) often produce emergent, coherent linguistic outputs unintended by any single participant. While psychological explanations such as the ideomotor effect exist, a computational understanding of how decentralized, implicit linguistic knowledge fuses through shared physical interaction remains elusive. We introduce CoCre-Sam (Collective-Creature Sampling), a framework modeling this phenomenon as collective Langevin dynamics samp…

Die Linkspartei hat eine wie ich finde merkwürdige Prioritätensetzung.
https://www.zeit.de/politik/deutschland/2025-06/krieg-gazastreifen-linke-demonstration

Krieg im Gazastreifen: Linke kündigt Gaza-Großdemo für Ende Juli an
In mehreren Städten in Europa gibt es Großdemonstrationen gegen das Leid im Gazastreifen. Nun will die Linke auch in Deutschland eine solche Demo organisieren.

Estimating Intractable Posterior Distributions through Gaussian Process regression and Metropolis-adjusted Langevin procedure
Guillaume Perrin, Romain Jorge Do Marco, Christian Soize, Christine Funfschilling
https://arxiv.org/abs/2506.13336

Estimating Intractable Posterior Distributions through Gaussian Process regression and Metropolis-adjusted Langevin procedure
Numerical simulations are crucial for modeling complex systems, but calibrating them becomes challenging when data are noisy or incomplete and likelihood evaluations are computationally expensive. Bayesian calibration offers an interesting way to handle uncertainty, yet computing the posterior distribution remains a major challenge under such conditions. To address this, we propose a sequential surrogate-based approach that incrementally improves the approximation of the log-likelihood using Ga…

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.

Seit September 2024 gab es nun den 5. Schlaganfall in meinem näheren Verwandten- und Bekanntenkreis. Rechnet man noch 1 Jahr drauf, ist es schon der 7. Ist aber bestimmt normal bzw. alles nur Zufall.
#Stroke #Schlaganfall

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.