Tootfinder

Looks like we might get a good finger lime crop this year! 😍 #NatureyCrap #SanFranciscoHellscape #FruityPrideEdition

R doesnt need to be a hard and scientific tool 📈. You can use it to make art 🎨: #rstats

On the train to Barcelona for @… ! Having already spent a couple of days surrounded by live coders in a Peak District retreat I've got this weird thing where I keep seeing live coders just walking around everywhere who turn out to be lookalikes
I'll be involved with a paper about choreographic notation for robots with @…

3 Easy Vegan Taco Recipes to Make All Summer #plantbased

3 Easy Vegan Taco Recipes To Make All Summer
Try these 3 easy vegan taco recipes to make all summer long. They're spicy, citrusy, and contain meat alternatives.

Citrix warns of exploitation of Netscaler devices through new bugs https://therecord.media/citrix-warns-netscaler-exploitation-bug

I don't know who uses #Citrix Netscalers any longer, but if you do, you've got some work to do to ensure that they are secure. The post describes the work you have to do -- in addition to applying the appropriate patches -- to address recent vulnerabilities. #cybersecurity

Checklist for NetScaler (Citrix ADC) CVE-2025-5777 – Deyda.net
Checklist for NetScaler (Citrix ADC) CVE-2025-5777 Deyda.net

Google has unveiled Gemini CLI, an open-source AI agent that allows developers to interact with the Gemini 2.5 LLM from their terminals and integrate its output into their activities.
https://www.computing.co.uk/news/2025/ai/google-unveils-gemini-cli-…

Google unveils Gemini CLI AI tool for coders
Takes on Claude Code and OpenAI Codex CLI.

DirecTV experiments with discontinuing satellite TV subscriptions for new customers in several US regions and directing subscribers toward its streaming option (Luke Bouma/Cord Cutters News)
https://cordcuttersnews.com/directv-stop…

DIRECTV Stops Selling Satellite TV for New Customers in Select Areas | Cord Cutters News
DIRECTV, a leading provider of television entertainment, has announced a significant shift in its service offerings, discontinuing satellite TV subscriptions for new customers in several regions across the United States. The company is now directing new subscribers toward its streaming option, as part of a broader strategy to adapt to evolving consumer preferences and technological […]

Mutation of $n$-cotorsion pairs in extriangulated categories
Huimin Chang, Yu Liu, Panyue Zhou
https://arxiv.org/abs/2506.16188 https://

Mutation of $n$-cotorsion pairs in extriangulated categories
In this article, we introduce the notion of $n$-cotorsion pairs in extriangulated categories, which extends both the cotorsion pairs established by Nakaoka and Palu and the $n$-cotorsion pairs in triangulated categories developed by Chang and Zhou. We further prove that any mutation of an $n$-cotorsion pair remains an $n$-cotorsion pair. As applications, we provide a geometric characterization of $n$-cotorsion pairs in $n$-cluster categories of type $A_{\infty}$, and we realize mutations of $n$…

I think the main chat channel for the live coding conference @… is on the 'live code earth' telegram group:
https://t.me/ xVw8n42FHk84MTc0
I hear it w…