Martin Quinson ⏚

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

: 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 , @Framasoft et @LaQuadrature.

Martin Quinson ⏚ boosted:
2026-01-01

*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*:

archive.org/details/doctorow-3

--

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:

pluralistic.net/2026/01/01/39c

1/

The Earth from space. Squatting over North America, casting a long shadow and ringed by a red, spiky halo, is the poop emoji from the cover of the US edition of 'Enshittification,' with a grawlix-scrawled black bar over its mouth, wearing a Trump wig. Leaching through the starscape is a 'code waterfall' effect as seen in the credits of the Wachowskis' 'Matrix' movies.
Martin Quinson ⏚emptty
2026-01-01

@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 😻

Martin Quinson ⏚emptty
2026-01-01

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

people.irisa.fr/Martin.Quinson

I speak of , software model-checking and exhaustive testing of digital infrastructures, , , and among other things.

Martin Quinson ⏚ boosted:
KING CONSULT | Kommunikationkingconsult@berlin.social
2026-01-01

> 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!

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

¹ Dec 30 2025: euractiv.fr/news/en-allemagne-

Martin Quinson ⏚ boosted:
Oliver Drotbohmodrotbohm@chaos.social
2026-01-01

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

media.ccc.de/v/39c3-a-post-ame

Martin Quinson ⏚emptty
2025-12-31

@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.

people.irisa.fr/Martin.Quinson

Martin Quinson ⏚emptty
2025-12-31

@max_power Here you are for a report on the project: people.irisa.fr/Martin.Quinson Thanks for your interest 😊

Martin Quinson ⏚emptty
2025-12-31

@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) aswemay.fr/co/think.html Computers change the way we think (cf. Vannevar Bush etc), trough abstraction, addressing, connection, duplication, transformation and universality. is a great computing facility. Maybe it could evolve to a litteracy facility?

Martin Quinson ⏚emptty
2025-12-26

@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.

Martin Quinson ⏚emptty
2025-12-25

@jibec @afranke Ben ce commentaire me semble assez clair: github.com/autotools-mirror/ge 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?

Martin Quinson ⏚emptty
2025-12-25

RE: mediapart.social/@mediapart/11

J'aime beaucoup les travaux de Geneviève Pruvost. Comme quoi, pas forcément besoin d'idée grandiose pour créer de l'espoir <3

Martin Quinson ⏚emptty
2025-12-25

@jibec J'avais jamais été lire le code de gettext, mais on dirait que c'est illimité: github.com/autotools-mirror/ge récupère la liste séparée par des ':' et le while (1) un peu plus bas teste composant par composant. Donc, y'a un nombre infini de composants.

Martin Quinson ⏚emptty
2025-12-25

@jibec Le mécanisme de fallback n'a rien à voir dans l'affichage des stats Debian, bien sûr. gnu.org/software/gettext/manua

Mais c'est parce que ce truc existe qu'on a fusionné les variantes régionales en se disant que si tu parles pas anglais, tu préfères quand même voir portugais quand le brésilien n'est pas traduit (c'est à ma connaissance la variante la plus différente de l'original, IIRC).

"on", c'est "je" en 2003 et la communauté depuis.

Martin Quinson ⏚emptty
2025-12-24

@jibec Dans Debian, nous avons fusionné par langue sans tenir compte des variantes régionales. Cf debian.org/international/l10n/ Je crois qu'on fait msgmerge sur les fichiers qui fusionne les variantes, mais je n'en suis plus sûr.

Sinon, ce que tu décris n'est pas tout à fait vrai: on peut configurer des fallbacks pour que les danois voient le suédois avant l'anglais si c'est pas traduit en danois.

Martin Quinson ⏚ boosted:
2025-12-19

Bonjour tout le monde!

Aujourd'hui, nous publions la #v4 de notre projet d'#is03, #Ensemblée ! vous pourrez la retrouver lownum.scenari-community.org/p

Tout d'abord, l'analyse est complètement terminée, avec l'ajout du dernier produit, la méta-communauté noscommunautes.org !
On a aussi avancé sur l'évaluation, avec l'outil Empreinte Fantôme.
Enfin, on a finalisé la phase Publication, en mettant l'affiche à jour, et en publiant une vidéo de présentation de 3 minutes.

On vous laisse aller regarder tout ça, n'hésitez pas si vous avez des questions !

Bonne lecture!
@stph @emptty #lownum

Martin Quinson ⏚ boosted:
2025-12-19

Ensemblée · un outil collaboratif de gestion des connaissances

aperi.tube/w/b9T7DFhpVNhPx78m2

Martin Quinson ⏚emptty
2025-12-10

@hare : is there any news from the work on the 32-bit ARM support to QBE and Hare, please? It's an exciting project, thanks for undertaking it!

nlnet.nl/project/QBE-32-bit-AR

Martin Quinson ⏚emptty
2025-12-10

@njoseph To me, Luddites were serious about keeping the power in their hands rather than giving it to the machine owners.

I think that the language should be really useful to their users and easy to use so that you never depend of an external expert. Maybe something as simple as a macro in a spreadsheet, but not limited to the spreadsheet.

Hypercard comes to mind.

Martin Quinson ⏚emptty
2025-12-10

Scarry video, by a (usually) moderate presenter youtube.com/watch?v=YAh-xEteBz4

(redacted) excerpts:
The US sees it as a strategic priority that MAGA movements come to power in Europe. They intend to use all their means to support such movements.
Trump administration considers Western Europe within their sphere of influence, and believe it's their role to oversee European politics and to correct the course if the Europeans get out of line.

Source: US National Security Strategy document.

😱 brace!

Martin Quinson ⏚emptty
2025-11-22

@max_power We are certainly progressing, but we are still far from a first prototype, tbh. I'll try to write a status report in the near future.

Thanks for your interest! It's highly motivating

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst