Tootfinder

« Les queers ont toujours existé Š la campagne » : derrière l’essor des Prides partout en France, la visibilité des personnes LGBTQIA hors des grandes villes
https://www.…

« Les queers ont toujours existé à la campagne » : derrière l’essor des Prides partout en France, la visibilité des personnes LGBTQIA + hors des grandes villes
Après des années de centralisation militante de la question queer dans les grandes villes, la liste des « Prides rurales » ne cesse de s’allonger, allant du village à la ville moyenne. « Le Monde » a interrogé plusieurs collectifs.

from my link log —
Parametric subtyping for structural parametric polymorphism.
https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/
saved 2025-02-02

I have to say I was pleasantly surprised to see how easy Pirate Ship is for getting shipping labels at reduced rates. Their customer service is top-notch. My work had been paying for a shipping provider and I was able to drop their prices considerably.
Not an ad, just a fan of how easy they made #shipping.

Beyond just predicting words, LLMs interpolate meaning between data points, as in the recent phenomenon of AI explaining fake idioms like "you can’t lick a badger twice." The danger is that made-up "truths" will fuel future models
https://www.

Local Type Inference for Context-Free Session Types
Bernardo Almeida (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Andreia Mordido (LASIGE, Faculty of Sciences, University of Lisbon, Portugal), Vasco T. Vasconcelos (LASIGE, Faculty of Sciences, University of Lisbon, Portugal)
https://arxiv.org/abs/2505.20855

Local Type Inference for Context-Free Session Types
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites.

„Vermieter reicht Räumungsklage ein“ ist keine Nachricht, die positive Gefühle erzeugt. Wenn es dann weitergeht mit „… gegen AfD-Bundeszentrale“ wird es allerdings zur Achterbahnfahrt der Gefühle.
https://www.

Wegen Wahlparty nach der Bundestagswahl: Vermieter reicht Räumungsklage für AfD-Parteizentrale in Berlin ein
Die AfD soll ihre Bundesgeschäftsstelle in Berlin-Reinickendorf verlassen. Der Vermieter bemängelt insbesondere die Wahlparty, bei der die Partei unerlaubt Hofflächen genutzt habe.

DHS ends temporary protected status for Haitians, opening way for deportations - The Washington Post
https://www.washingtonpost.com/immigration/2025/06/28/haiti-dhs-tps-temporary-protected-status/

Analytics company founder: Hosters demands over server costs are unworkable
„The hosting platforms will just have to give us servers for free“ Daniel said in an interview, while wearing a onesie Pyjama in the form of an octopus. https://mastodon.social/@jensscholz/114573315…

Jens Scholz ⍟ (@jensscholz@mastodon.social)
Attached: 1 image Ok, kill it then. If your business is not feasable if you have to pay for the ressources you need for your product, it's not a business anyway.

A US judge dismissed Rumble's antitrust suit accusing Google of violating antitrust law by allegedly promoting YouTube in search results and its other products (Wendy Davis/MediaPost)
https://www.mediapost.com/publications/article/406168/

Google Defeats Rumble Antitrust Suit
Conservative video platform Rumble's antitrust claims against Google fell outside the four-year statute of limitations, a federal judge ruled.

Pourquoi les parkings de supermarchés se couvrent de laveries automatiques dans les zones rurales et périurbaines
https://www.lemonde.fr/m-perso/article/2…

Pourquoi les parkings de supermarchés se couvrent de laveries automatiques dans les zones rurales et périurbaines
Rapides et faciles d’accès, les kiosques laveries installés sur des parkings de supermarché ont trouvé leur public, répondant à des contraintes de temps, de mobilité ou de place.