@GrapheneOS @Fairphone I hope Fairphone could meet the requirements on the next model if Qualcomm supports MTE on their next chip.

This is your yearly reminder that anyone who publishes CS papers should have a personal website that lists their current position, research interests, publications, and email address.

If you don't, it's basically impossible for me to invite you to a PC, invite you to give a talk, ask a question about your work, or recommend you to others when asked.

📢 Call for Paper: Submit your papers for the AI4WORK workshop at ECML-PKDD 2025 in Porto. Deadline: June 14, 2025. Topics include anything around AI for the Job Market, including recently accepted papers at other conferences. Details: https://ai4work.github.io/ecmlpkdd2025/ #ECMLPKDD2025 #AI #CFP

I am defending my PhD the 28th of May at 2pm (French time). It will happen in LIX/INRIA Saclay.

If you want to come, please let me know in advance, so you can access the building. A visio link will also be available on my webpage.

I will talk about complexity over the reals, computable analysis and dynamical systems.

When someone is payed to give updated every 30 minutes, regardless of new information or not.

https://status.overleaf.com

#overleaf

@llemonnier En vrai je suis pas du genre à défendre le manque de continuité cyclable, mais là il y a la voie verte juste à gauche qui offre un semblant de continuité.

Bon après vu les travaux qu'ils ont fait ici pour ajouter une piste bidirectionnel qui est d'accord d'un côté de la chausé puis de l'autre (pourquoi faire quelquechose d'aussi stupide je comprendrais jamais), je vais pas non plus dire que l'aménagement est bien...

Si seulement il y avait une voie de chaque côté, enfin bref /rant

"Abandon Twitter and go to Bluesky," they said. "It's a better version of Twitter."

News: Bluesky restricts access to 72 accounts in Turkey amid government pressure

Bluesky is just another VC-funded, profit-seeking social platform. The fediverse is inherently better.

https://stockholmcf.org/bluesky-restricts-access-to-72-accounts-in-turkey-amid-government-pressure/

@floe @RaphaelWimmer @volzo looks like a projector. You put a film around the two extremities, it passes through the middle part where a lamp shines it. Fan to cool down the system I guess.

Finally some news about the DSA investigation against X.

https://www.nytimes.com/2025/04/03/technology/eu-penalties-x-elon-musk.html

GitHub has gone - long live Forgejo (@forgejo).

Fully migrated out of Microsoft’s walled garden after they blocked us:

- 54k commits
- 9.5k issues
- 4.3k pull requests
- 100k comments

Everything moved. Nothing left behind.

https://git.omaps.dev/organicmaps/organicmaps

@gumnos AAA = big money game industry
AAAAA = Association amicale des amateurs d'andouillette authentique

@parisenselle J'adore Paris En Selle, mais pitié arrêtez d'utiliser les services de Google. @Framasoft a une super alternative qui s’appelle Framaforms si vous voulez https://framaforms.org/

C'est super facile à utiliser, c'est open source, respecteux de la vie privée des usagé.e.s, souverain, ça ne soutiens pas l'impéraliste américan et la montée du fachisme, etc

[#Mobilités] Le #transport #aérien va bénéficier de 150 à 200M d’€ de défiscalisation supplémentaire 🇫🇷 en 2025

En parallèle, le Plan #Vélo de 250M€ a été supprimé.

Conclusion : les fonds du Plan Vélo vont servir à faire voler des #avions.

Bienvenue en #dystopie ... euh en #France en 2025 !...
Via @Reporterre
https://reporterre.net/Le-carburant-des-avions-est-mieux-rembourse-que-nos-medicaments

When you have a tab open with Anywhere on Earth (AoE) open it can only mean one thing

@wikipedia_fr 2^64, pas 264 ^^

@aloxe @Mozilla d'ailleurs plutôt KeePass XC dont l'interface est mieux imo

@aloxe @Mozilla ça dépends de tes besoins. Keepass c'est bien en local only mais si tu veux plusieurs machines faut un outils de synchronisation comme syncthing ou nextcloud. Sinon bitwarden selfthost (avec vaultwarden) c'est bien mais ça demande d'avoir un serveur et d'être responsable de la sécurité et des mises à jour. Bitwarden officiel ça demande de faire confiance à un tiers (possiblement payant).

@itamarst @kajord https://docs.astral.sh/uv/ is so much superior to any conda based imo

@Daojoan Can you cite any source saying that Qwant uses their own index? To the best of my knowledge it's not true. They have said that they wanted to do it, but it's still a meta search engine relying entirely on Bing and Google at the time.

@skye 😭