Martin Quinson ⏚

@emptty
274 Followers
170 Following
519 Posts

Eco-anxieux, climato-réactionnaire et féministe.

#teamESR: Enseigne la prog, réseau, OS + méthodo recherche et pédago. Cherche en systèmes distribués, méthodes formelles, OS. Co-auteur de SimGrid

Sympatisant #Debian, @Framasoft et @LaQuadrature.

Webpagehttps://people.irisa.fr/Martin.Quinson/
Codehttps://framagit.org/mquinson
BookWyrmhttps://bw.heraut.eu/user/emptty
Matrix@emptty:matrix.org

*On December 28th, I delivered a speech entitled "A post-American, enshittification-resistant internet" for 39C3, the 39th Chaos Communications Congress in Hamburg, Germany. This is the transcript of that speech*:

https://archive.org/details/doctorow-39c3

--

If you'd like an essay-formatted version of this thread to read or share, here's a link to it on pluralistic.net, my surveillance-free, ad-free, tracker-free blog:

https://pluralistic.net/2026/01/01/39c3/#the-new-coalition

1/

@ameimse @balbec Ah, trop bien, il y a de nouveau un Bookwyrm utilisable en français, j'avais pas vu passer. Je viens de faire une demande de compte 🥺 Merci du lien, Ameimse. Grâce à toi j'ai en plus des tas de conseils de lecture 😻

To start the new year, I wrote a summary of what I did as a researcher in computer science and professor in 2025. FWIW.

https://people.irisa.fr/Martin.Quinson/blog/251231/Status_update:_2025

I speak of #SimGrid, software model-checking and exhaustive testing of digital infrastructures, #csUnplugged, #SmolPhone, #FrugalComputing and #DeuxFleurs among other things.

Status update: 2025

> En #Allemagne, des hackers lancent une campagne pour réduire l’emprise technologique américaine

> [Ils] organiseront ce dimanche 4 #janvier et durant l’année #2026 des « journées de l’indépendance numérique », destinées à encourager les utilisateurs à réduire leur dépendance aux #plateformes technologiques américaines.¹

@LaQuadrature @Framasoft join us!

👉 https://di.day
#DiDay
#DigitalIndependenceDay
#JournéesDeLIndépendanceNumérique
#JDLIN

¹ Dec 30 2025: https://euractiv.fr/news/en-allemagne-des-hackers-lancent-une-campagne-pour-reduire-lemprise-technologique-americaine/

Digital Independence Day

Digital Independence Day

“A post-American, enshittification-resistant internet“ – Brilliant in mood, vision, and clarity by @pluralistic.

https://media.ccc.de/v/39c3-a-post-american-enshittification-resistant-internet

A post-American, enshittification-resistant internet

Trump has staged an unscheduled, midair rapid disassembly of the global system of trade. Ironically, it is this system that prevented all...

media.ccc.de

@max_power Actually, our goal is to turn the PiZ off as often as possible, and do almost all work on a RP2350. The PiZ will only be used when the 2350 is too limited (e.g. GPS tile rendering), but we plan to have emails, phone, messaging, agenda, podcasts and other day to day apps on the 2350 only. GPS navigation will only use the 2350 once the tiles are rendered on PiZ. Also, apps will be written in a script language to ease personalization.

https://people.irisa.fr/Martin.Quinson/blog/250528/Smolphone-Magellan/

SmolPhone @ Magellan

@max_power Here you are for a report on the #SmolPhone project: https://people.irisa.fr/Martin.Quinson/blog/251231/Status_update:_2025/#SmolPhone Thanks for your interest 😊
Status update: 2025

@neauoire I was reading your devlog, where you say "I am not convinced that computers solve any real problems either", pointing to a text by @akkartik Maybe reading this great text from @stph may change your mind (if you happen to read French) https://aswemay.fr/co/think.html Computers change the way we think (cf. Vannevar Bush etc), trough abstraction, addressing, connection, duplication, transformation and universality. #uxn is a great computing facility. Maybe it could evolve to a litteracy facility?
Think [As we may...]

@jibec @afranke Honnêtement, je ne suis pas sûr qu'il y ait beaucoup de monde à utiliser les fallbacks de traductions. J'ai peur que peu de monde connaisse ce truc.
@jibec @afranke Ben ce commentaire me semble assez clair: https://github.com/autotools-mirror/gettext/blob/master/gettext-runtime/intl/dcigettext.c#L1471 LANGUAGE est une extension GNU (et c'est là que peut se trouver la liste) tandis que les LC_* sont spécifiées par POSIX. Je ne sais pas quel composant du bureau définit ces choses. Ca me semble tellement facile à faire que ça peut être n'importe qui. Probablement le gestionnaire de session genre gdm ou lightdm?