Tootfinder

Jarvis Cocker, fundador y líder de Pulp, una de las mšs emblemšticas bandas del britpop, hoy celebra su cumpleaños 63. Nació en Sheffield el 19 de septiembre de 1963. ¡Larga vida, Jarvis!
#JarvisCocker #Pulp #CumpleañosRockero

Welcome to my hot classics summer. Iʻve had Homer in my ears, and Virgil and Shakespeare. Such a confusion of glories, such poetry, such violence!
Iʻm driving under the influence of all of them, but whenever Caesar comes, for me itʻs not only Julius who appears, but also Gertrude Stein.
https://salrandolph.substack.…

Caesar Comes
Another episode in my hot classics summer

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Bark Psychosis:
🎵 Big Shot (Alice's Cheshire Cat Mix)
#BarkPsychosis
https://barkpsychosis.bandcamp.com/track/big-shot
https://open.spotify.com/track/57YmPuR2XU9Fg9Q3miaeFF

The cashier at a beer store I used to visit always asked every person in line for ID. In addition to looking at it, they would scan everyone's card at the register, which would beep an affirmatively-toned “this person is old enough.”
Seemed weird then, but now I know it was certainly a covert customer database, pretending to just be helping the cashier. I have no way of knowing where that data landed.
Forced online age verification—especially without good privacy laws—is even…

Das blöde WP-Plugin "Broken Link Checker" update hat mir gestern 2 Seiten zerschossen. Eine habe ich durch einen rollback wiederhergestellt, bei der anderen ging leider bei mir etwas schief 😩 (Datenbank abgeschmiert).
Der Support von meinem Hoster All-Inkl hat mir (mal wieder) super schnell geholfen und alles läuft wieder.
Absolute Empfehlung!
#webhost

🇺🇦 Auf radioeins läuft...
Erika De Casier:
🎵 Delusional
#NowPlaying #ErikaDeCasier
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv

🇺🇦 #NowPlaying on #BBC6Music's #6MusicArtistInResidence
Erika de Casier:
🎵 You Can't Always Get What You Want
#ErikadeCasier
https://erikadecasier.bandcamp.com/track/you-cant-always-get-what-you-want
https://open.spotify.com/track/0loAUwPeBd9LvYtnaKpoGG

Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary
Zhonghua Yi (Toka Language Research Group)
https://arxiv.org/abs/2607.18949 https://arxiv.org/pdf/2607.18949 https://arxiv.org/html/2607.18949
arXiv:2607.18949v1 Announce Type: new
Abstract: Detached semantic facts about opaque native providers do not by themselves justify compiler rewrites: rewrite authority must be confined to the accepted fact, selected provider and build, caller, callback environment, observation, and runtime target. We present a build-authorized path-effect interface that enforces this boundary through fail-closed authorization and link receipts. The design separates receipt closure, callback-environment closure, and projection identity, and passes accepted facts to LLVM through a narrow internal API. We use one-hop topology-load reuse as a minimal observable witness of authority, not as the optimization target.
A conservative LLVM consumer reuses a pointer observation only from a noalias root or one constant nonzero projection. Rocq models prove conditional refinement and authority non-amplification under explicit effect, alias, compiler/ABI, and target-resolution premises. We instantiate checked production with Toka: a source-summary gate emits exact LLVM IR, a separate IR checker accepts only a bounded topology-preserving subset, and only accepted IR is compiled into the receipt-bound provider object. A bounded static Darwin/arm64 profile also checks the final direct branch target.
Across issuer-declared readv, recvmsg, and Cairo boundaries, authorized IR retains each opaque call, reduces the relevant loads from two to one, and preserves observed results; mismatched providers, builds, callbacks, projections, and unsupported IR remain neutral. A libjpeg case is rejected because its callback environment is open, while a bound callback singleton demonstrates the supported closure rule. The contribution is a checked deployment-compiler boundary with an explicit trust and applicability frontier, not a uniquely expressive effect encoding or a new load-elimination algorithm.
toXiv_bot_toot

🇺🇦 Auf radioeins läuft...
Tom Misch:
🎵 Slow Tonight
#NowPlaying #TomMisch
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv