Tootfinder

«Nous allons revenir Š nos racines et nous concentrer sur la réduction des erreurs, la simplification de nos politiques et la restauration de la liberté d’expression sur nos plateformes», a déclaré mardi le directeur de Meta dans une vidéo. Il a ajouté: «Plus précisément, nous allons nous débarrasser des vérificateurs de faits et les remplacer par des notes communautaires similaires Š X, en commençant par les Etats-Unis».

Surprise, Facebook et Instagram suppriment brutalement leur service de «fact checking»
Mark Zuckerberg instaure un système de «community notes» en tout point similaire à celui en vigueur sur X, propriété d’Elon Musk et très proche de Donald Trump

Yay, finally I have a new #server.
So now let's shovel some TB of data around via a 5MBs line.

We imported the data from Black Basta Ransomware group leak into AIL and there are many interesting aspects.
The federation network of Matrix servers (see the screenshot) used to communicated among the affiliates/group(s).
Activities in the chat room, especially the daily activity view in AIL. Guessing the location and timezone of groups or affiliates is an endless source of information.
They rely on many open-source and SaaS tools, including Googl…

Mastodon feature request: make it so that search results can be shared...since it takes so much resources from your servers that you'll only let logged in users search using quotation marks
#Mastodon #MastodonFeatureRequest

„I would not be surprised if Musk hopes to displace the USD (to ‘denationalise’ the dollar) and to replace the world’s reserve currency with ‘privatised’ cryptocurrencies, that both Musk and Trump are now invested in. Both are fearsome prospects, but under this administration, entirely plausible.“
https://

Trump, Crypto and a Billionaire Coup?
Do US Treasury impoundments and crypto pose a threat to the US dollar - the world’s reserve currency?

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…