Tootfinder

SSL/TLS Certificate Lifespans to Shrink to 47 Days by 2029
https://www.infoq.com/news/2025/05/ssl-certificate-lifespans-shrink/

For folks who missed it due to timezones: I wrote a post about different options for sharing decision-making power with online communities, nudged by the situation around inaturalist. #citizenscience
https://tzovar.as/power-sharing/

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Sharon Jones:
🎵 Take Me With U
#SharonJones
https://sharonjonesandthedapkings.bandcamp.com/track/take-me-with-u
https://open.spotify.com/track/5bVKfpxapT3wwCFxdFp0F3

Maduro Locks Up Economists Sharing Data on Venezuela's Decline (Bloomberg)
https://www.bloomberg.com/news/articles/2025-06-19/maduro-locks-up-economists-sharing-data-on-venezuela-s-decline
http://www.memeorandum.com/250619/p115#a250619p115

Ahh. ... Elon did it again...
Video:
#SpaceX

Raiders training camp report date and joint practice scrimmage revealed https://raiderswire.usatoday.com/story/sports/nfl/raiders/2025/06/19/raiders-training-camp-report-date…

LLM-Powered Swarms: A New Frontier or a Conceptual Stretch?
Muhammad Atta Ur Rahman, Melanie Schranz
https://arxiv.org/abs/2506.14496 https://

LLM-Powered Swarms: A New Frontier or a Conceptual Stretch?
Swarm intelligence traditionally refers to systems of simple, decentralized agents whose local interactions lead to emergent, collective behavior. Recently, the term 'swarm' has been extended to describe AI systems like OpenAI's Swarm, where large language models (LLMs) act as collaborative agents. This paper contrasts traditional swarm algorithms with LLM-driven swarms exploring how decentralization, scalability, and emergence are redefined in modern artificial intelligence (AI). We implement …

Positive Sharing and Abstract Machines
Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu
https://arxiv.org/abs/2506.14131 https://

Positive Sharing and Abstract Machines
Wu's positive $λ$-calculus is a recent call-by-value $λ$-calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu showed that it simplifies a technical aspect of the study of sharing; namely it rules out the recurrent issue of renaming chains, that often causes a quadratic time slowdown. In this paper, we define the natural abstract machine for the positive $λ$-calculus and show that it suffers from an inefficiency: the quad…

Gleich bei der #gpn
"Against Tech-Fascism" im Raum Medientheater

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Sharon Jones and the Dap‐Kings:
🎵 100 Days, 100 Nights
#SharonJonesandtheDapKings
https://open.spotify.com/track/03PkUC7cfsjFERRSPxK0Eh