awwweeee cute kitty, definitely friend shaped visitor to backyard
2 media files
@Federation_Bot
Don't miss the boat! The cat is out of the bag: keep your ears peeled for this idioms episode before you kick the bucket...or else heads will roll
In our latest bonus episode we get enthusiastic about Idioms!
Fried Chickpeas
Pirate Cinema
Motion pictures
Protest movements
Fiction
Science fiction
Internet
Production and direction
Children's fiction
Motion picture industry, fiction
Hollywood (los angeles, calif.), fiction
Internet, fiction
AudiobookFormat Edition
Published in 2012
by Listening Library
In a dystopian, near-future Britain, sixteen-year-old Trent, obsessed with making movies on his computer, joins a group of artists and activists who are trying to fight a new bill that will criminalize even more harmless internet creativity.
RE: https://newsie.social/@servelan/116534711818679313
well, as long as it was a physical battle and not one of wits or knowledge. in the latter cases, the 8 year old would totally destroy him. with a physical battle, he has a chance of falling on the 8 year old and smothering them.
Le password salvate in Edge sono leggibili (in chiaro) nella RAM, e per Microsoft non è un bug
Un ricercatore ha mostrato che Microsoft Edge carica in memoria in chiaro tutte le password salvate, non solo quella in uso. L'azienda risponde che è una scelta di design intenzionale.
Federation Bot
Coordinated poster action
Submission
Last weekend, crews of anarchists put up hundreds of anti-tech posters across the city. This was an experiment in coordinating across geography between multiple affinity groups and part of our focus on anti-tech agitation. We aspire to keep developing this coordination capacity for more combative action.So, as I'm learning this platform, what is the difference between liking a post and "favoriting" a post?
Chris D./Poison Fang Society – Courtroom wedding
So, I am on a medium-small instance. I don't see everything that happens on the Fediverse. In particular, I don't see every conversation about https://tags.pub/ .
If you see a conversation or questions about #tagspub and you don't think the author would mind, please feel free to tag me in. I'm not awake 24/7 and even when I am awake I'm sometimes doing other things, but I'd really appreciate the chance to answer people's questions or concerns.
@Evan Prodromou
It is not understood if this function is applicable to hubzilla servers
It is not understood if this function is applicable to hubzilla servers
Where did #deltachat land with LLM contributions? Are they going the slop route or did they end up being cool?
Heyyy les girls, les gays, les mentally unstable et autre (dys-)functional cryptids ✨
On me dit que si vous faites ou êtes intéressés par du Haskell, il y a un meetup parisien à la fin du mois où @hecate sera très content'e de vous accueillir !
In Attack on Mamdani, Vornado Chief Likens ‘Tax the Rich’ to Hate Speech
https://www.nytimes.com/2026/05/05/nyregion/roth-mamdani-griffin-rich.html?unlocked_article_code=1.gFA.jz4A.ApYPb7Qd6vSR
🧐 Keeping an eye on #tech giants because #PrivacyMatters
“Calling all parents: Rebel Tech Alliance have started a 'Parents' page on our site and we're looking to crowdsource the best tech tips for how to protect our children from the harms of #BigTech
www.rebeltechalliance...”
https://bsky.brid.gy/r/https://bsky.app/profile/did:plc:lmxw2a6utvls7woqsjflmuid/post/3ml3st5nhns2p
🤖 via RSS feed. Not an endorsement.
A new version of #Holos has been released (1.5.5).
It introduces support for "web+ap://" links (fedilinks), so profiles and posts can now be opened directly in Holos. The sync experience is also smoother with less UI freezing, and post deletion is more reliable: posts are kept locally until all remote instances confirm removal, with automatic retry on failure.
Release notes:
https://codeberg.org/tom79/Holos-App/releases/tag/1.5.5
We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase.
Note: you can also read this announcement as a Gist.
The Agda developers have recently proposed codifying their official stance on LLM-generated contributions: they are "concerned about the negative effects of large language models (LLMs) on many individuals, our society, and our planet", but refuse to take any concrete action to address their own contribution to these. They have judged the hypothetical future usefulness of the slop generators as outweighing the present, very real harm being caused by the AI industry.
We understand that, over its 20 years of Git history, Agda's implementation has evolved to cater to subsets of its user-base with very diverse, and often conflicting, needs. However, the attempts to bridge these divides (e.g. --without-K vs. --cubical-compatible) present a significant maintainership cost, and are often resented by both camps, since they present one camp with substantial performance costs, while offering the other camp no clear benefit, since code across the divide is written with very different formalisation sensibilities.
Other extensions to the type theory are kept despite known inconsistencies (sized types), or being impossible to adopt without complete vertical buy-in (cumulativity, erased cubical), or simply for backwards compatibility (--guarded/@lock). In the best cases, these features are championed by a single maintainer, and keeping them well-tested against the continuous adoption of new features is a struggle when very little code uses them.
Our plan is to focus on exactly one variant of the language ("full --cubical"), and to drop support for all the language features which are explicitly deprecated, inconsistent, or simply ill-understood in conjunction with this fragment. This will give us a solid base from which we can work to improve the experience of working on the Mikan codebase, to attack the existing correctness and usability issues with features like termination and positivity checking, and to pursue breaking improvements to the core type theory and its user interface.
Signed:
4 more link(s)
My partner in crime for many projects Emanuele Del Rosso has written an editorial for @cartoonmovement about the dire need to innovate political cartooning. The alternative (according to him): the craft will die a slow and agonizing death.
But he has a plan: https://cartoonmovement.substack.com/p/a-case-for-innovating-political-cartooning
FediForum Demo: FediProfile
#Haïti #CCBE dénonce la tentative d'assassinat de l'avocat Ronel Telsyde, président de la Fédération des barreaux de Haïti https://www.ccbe.eu/fileadmin/speciality_distribution/public/documents/HUMAN_RIGHTS_LETTERS/Haiti_-_Haiti/2026/EN_HRL_20260430_Haiti_-Attempted-assassination-of-Ronel-Telsyde-President-of-the-Federation-of-Bars-of-Haiti.pdf
View (PDF)
1 more link(s)
Sorry for the prolonged absence, but!! I'm going to a con this weekend and will bring printed copies of gluedex. Leftovers will be available in my online shop
2 media files
