Tootfinder

Ilja Leonard Pfeijffer: Siehe da: Das war der endgültige Todesstoß für die Glaubwürdigkeit Europas.
https://europa.blog/de/siehe-da-das-war-der-endgueltige-todesstoss-fuer-die-glaubwuerdigkeit-europas/

🇺🇦 Auf radioeins läuft...
The Boxer Rebellion:
🎵 Diamonds
#NowPlaying #TheBoxerRebellion
https://thedistantmemoryproject.bandcamp.com/track/diamonds-boxer-rebellion
https://open.spotify.com/track/0GLv1X9sA8gqzZs98g1B11

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
Sohei Ito, Makoto Tatsuta
https://arxiv.org/abs/2507.00465 https://

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
This paper investigates the expressive power of a minimal fragment of separation logic extended with natural numbers. Specifically, it demonstrates that the fragment consisting solely of the intuitionistic points-to predicate, the constant 0, and the successor function is sufficient to encode all $Π^0_1$ formulas of Peano Arithmetic (PA). The authors construct a translation from PA into this fragment, showing that a $Π^0_1$ formula is valid in the standard model of arithmetic if and only if i…

Beyond the Black Box: Interpretability of LLMs in Finance
Hariom Tatsat (Barclays), Ariye Shater (Barclays)
https://arxiv.org/abs/2505.24650 https://

Beyond the Black Box: Interpretability of LLMs in Finance
Large Language Models (LLMs) exhibit remarkable capabilities across a spectrum of tasks in financial services, including report generation, chatbots, sentiment analysis, regulatory compliance, investment advisory, financial knowledge retrieval, and summarization. However, their intrinsic complexity and lack of transparency pose significant challenges, especially in the highly regulated financial sector, where interpretability, fairness, and accountability are critical. As far as we are aware, t…

Ein neues Level an #ArschlochParkerei. Und das nur, weil die Granit-Stele dort fehlt, wo sich das fahrerseitige Heck befindet. Das beifahrerseitige steht halb auf dem #Gehweg.

Om Malik writes: “I have been talking about this for a very long time, but the establishment media is always the last to realize their own existential threats. Just as they were slow to recognize the emergence of blogs, social media, and how Facebook was a chimera, they have been slow to realize that the old “destination internet” as a behavioral construct is over.”
In my opinion, these threats are ignored or kicked down the road due to management pressure (“we can’t invest into ...”) combined with peer pressure (“… while everyone else is doing X”).
The result is usually:
(image found on http://thethoughtsoflouise.blogspot.com/2016/07/be-example-not-warning.html)

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Clipse:
🎵 So Be It
#Clipse
https://thedjedits.bandcamp.com/track/clipse-so-be-it-100-86-transition-dirty

1/N Työturvallisuuskortti, tulityökortti yms. kortit ovat tärkeitä turvallisuusosaamisen todisteita monilla aloilla. Ihan uusi turvallisuuskriittisen työn tyyppi on "älytyö", työ jossa tarvitaan omaa päättelyä, harkintaa, suunnittelua, synteesiä konteksti-informaatiosta ja yleisestä tiedosta jne. - joskus "tekoälyä" hyödyntäen. Olisi ehkä kenties ihan päivänselvästi jo korkea aika, että kehitettäisiin "älytyökortti", jonka vilauttaminen olisi ehto ...

Ihastus, vaan ei uusi. Joku luonnehti transsijatsiksi. En kiistä. Tutustukaa, ellei ole jo kuultu
#Music #musadontti #musiikki #Jazz

Ron Cobb Via https://70sscifiart.tumblr.com/post/782098212793270272/ron-cobb-via-thatsgoodweb
https://

70s Sci-Fi Art
Ron Cobb, via @thatsgoodweb