Tootfinder

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

Investigation: healthcare exchanges in Nevada, Maine, Massachusetts, and Rhode Island share sensitive data with Google, LinkedIn, and Snapchat via web trackers (The Markup)
https://themarkup.org/pixel-hunt/2025/06/17/w…

We caught 4 more states sharing personal health data with Big Tech – The Markup
Healthcare exchanges in Nevada, Maine, Massachusetts and Rhode Island shared users’ sensitive health data with companies like Google and LinkedIn

Which NFL Players Have Scored the Most Scrimmage TDs in a Single Season? https://www.foxsports.com/stories/nfl/which-nfl-players-have-scored-most-scrimmage-tds-single-season

Oh hey, it's #ScreenshotSaturday , here's the latest mockup from the video game adaptation of Battle of Tarot I'm working on with some lovely people.
Everything is still a work-in-progress and not final at all, but trying to get the visual style nailed down.
#GameDev

Time to get creative and upload some #QGIS screenshots
#GISChat

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/

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

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…

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…