Thomas Morin's Avatar

Thomas Morin

@netpeeker.bsky.social

Half lemming, half Clacks goblin, half human being.

50 Followers  |  477 Following  |  90 Posts  |  Joined: 07.11.2024  |  2.0567

Latest posts by netpeeker.bsky.social on Bluesky

What Functional Programmers Get Wrong About Systems - Ian Duncan Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.

Next article up!

www.iankduncan.com/engineering/...

09.02.2026 10:48 — 👍 3    🔁 1    💬 0    📌 0

Bonjour, afin de contribuer à la présence des institutions sur Bluesky (et leur permettre de faciliter leur exil de X) , j'ai créé ce starterpack des comptes institutionnels nationaux français présents.

08.01.2026 10:10 — 👍 756    🔁 404    💬 66    📌 19

We see something that works, and then we understand it https://lemire.me/blog/2025/12/04/we-see-something-that-works-and-then-we-understand-it/

04.12.2025 15:41 — 👍 4    🔁 1    💬 0    📌 0
Cesser d'utiliser X (anciennement Twitter) pour les communications officielles du gouvernement - Cesser d'utiliser X (anciennement Twitter) pour les communications officielles du gouvernement - Platef... Cessez d'utiliser cette plateforme comme l'un des principaux porte-parole des communications officielles en France. Il existe des alternatives bien mieux modérées et régulées, et il est même possible ...

ALERTE GENERALE !

Une pétition a été lancée sur le site de l'Assemblée nationale demandant que le gouvernement arrête d'utiliser X pour ses communications officielles.
On signe toutes et tous pour lui donner le maximum de visibilité.
C'est ici :
petitions.assemblee-nationale.fr/initiatives/...

09.07.2025 10:08 — 👍 1512    🔁 1204    💬 80    📌 95
[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox

Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me

Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)

IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.

[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation External Inbox Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org> 5:43 AM (4 hours ago) to me Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village) IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.

Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.

Just fuck you. Fuck you all.

I can't remember the last time I was this angry.

25.12.2025 23:25 — 👍 8131    🔁 2218    💬 103    📌 168

Je récapitule avec plus de détails : je recherche toujours "Cécile" (on l'appelle comme ça depuis hier avec ma famille), jeune femme ≈25 ans, descendue d'un train hier à la gare de Saint-Vallier-sur-Rhône en laissant derrière elle 1 grand sac en papier rempli de cadeaux. Merci de RT et joyeux Noël 🎄

25.12.2025 10:12 — 👍 179    🔁 551    💬 17    📌 9
Your intellectual fly is open | The Observation Deck

Your intellectual fly is open
bcantrill.dtrace.org/2025/12/05/y...

06.12.2025 03:36 — 👍 85    🔁 18    💬 7    📌 4
Arc-en-ciel Lunaire dans le ciel Breton ce soir.

Arc-en-ciel Lunaire dans le ciel Breton ce soir.

Arc-en-ciel Lunaire dans le ciel Breton ce soir.

Arc-en-ciel Lunaire dans le ciel Breton ce soir.

Incroyable! En rentrant ce soir j'ai vu un arc-en-ciel lunaire en Bretagne. Conditions parfaites: lune lumineuse avec angle bas + une météo compliquée (averses localisées). Forcément je suis ressortie prendre ça en photo. Tellement contente :)

cc @steventual.bsky.social @tempsbreton.bsky.social

04.12.2025 18:46 — 👍 35    🔁 6    💬 1    📌 1

More insight per minute than I excpected!

01.12.2025 19:06 — 👍 22    🔁 3    💬 2    📌 0
View Jürgen Geuter’s  graphic link
Jürgen GeuterJürgen Geuter
   • 2ndVerified • 2nd
Research Director @ART+COM | Independent writer/theorist | Keynote Speaker | AI-Deinfluencer | #LudditeResearch Director @ART+COM | Independent writer/theorist | Keynote Speaker | AI-Deinfluencer | #Luddite
22h •  22 hours ago • Visible to anyone on or off LinkedIn

Follow
Very few narratives piss me off as much as the whole "let's give marginalised people LLM assistants for inclusion". 

Inclusion does not mean giving marginalised people shittier versions of a thing: Sure you can give kids from poorer backgrounds an LLM to "learn" but what you are saying is that poor people are not worth having trustworthy sources of information. When you say that older or lonely people can talk to chatbots to feel less alone you are saying that some people are not worth a social life. 

This is a deeply inhumane perspective that goes actively against the ideas and ideals of inclusion.
likesupportcelebrate
186
You and 185 others

View Jürgen Geuter’s graphic link Jürgen GeuterJürgen Geuter • 2ndVerified • 2nd Research Director @ART+COM | Independent writer/theorist | Keynote Speaker | AI-Deinfluencer | #LudditeResearch Director @ART+COM | Independent writer/theorist | Keynote Speaker | AI-Deinfluencer | #Luddite 22h • 22 hours ago • Visible to anyone on or off LinkedIn Follow Very few narratives piss me off as much as the whole "let's give marginalised people LLM assistants for inclusion". Inclusion does not mean giving marginalised people shittier versions of a thing: Sure you can give kids from poorer backgrounds an LLM to "learn" but what you are saying is that poor people are not worth having trustworthy sources of information. When you say that older or lonely people can talk to chatbots to feel less alone you are saying that some people are not worth a social life. This is a deeply inhumane perspective that goes actively against the ideas and ideals of inclusion. likesupportcelebrate 186 You and 185 others

Regret to report that there has been another good linkedin post

22.11.2025 11:18 — 👍 1721    🔁 543    💬 14    📌 22
Lurent Alexandre sur le plateau de Franceinfo, présenté comme “spécialiste de l’intelligence artificielle”.

Lurent Alexandre sur le plateau de Franceinfo, présenté comme “spécialiste de l’intelligence artificielle”.

Laurent Alexandre, suite : “Ce qui important, c’est d’apprendre aux enfants à bien utiliser ChatGPT pour s’augmenter avec l’IA.”
“Avoir une relation quasi amicale avec ChatGPT quand on a des échanges permanents avec lui, c’est un peu normal.”

31.10.2025 23:57 — 👍 102    🔁 19    💬 10    📌 34
Preview
The official home of the Python Programming Language

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-...
🧵

27.10.2025 14:47 — 👍 6424    🔁 2759    💬 125    📌 452
Video thumbnail

The Making of Flux Ep 4: The Platform Builders 🏗️

GitLab, Microsoft & Mirantis reveal why they're embedding Flux into their platforms, from Azure Arc's managed service to Cordant's multi-cluster vision

https://ku.bz/tVqKwNYQH

🌟 ControlPlane
🎙 🎙Bart

20.10.2025 11:33 — 👍 9    🔁 7    💬 0    📌 0
4-panel comic. (1) [person finds bottle on shore] (2) [person reads message from inside bottle: ICMP ECHO REQUEST...] (3) [person writes on message ICMP ECHO REPLY...] (4) [person puts bottle back in water and leaves]

4-panel comic. (1) [person finds bottle on shore] (2) [person reads message from inside bottle: ICMP ECHO REQUEST...] (3) [person writes on message ICMP ECHO REPLY...] (4) [person puts bottle back in water and leaves]

Ping

xkcd.com/3150/

07.10.2025 02:24 — 👍 2363    🔁 254    💬 28    📌 9

We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...

03.10.2025 16:14 — 👍 3983    🔁 2412    💬 40    📌 141
No Pain = Brioche | Obion blog Billets d'humeur BD et illustrations

No pain = Brioche

“S’ils ne se donnent pas de la peine, ils prendront de la brioche”

by @obion.bsky.social
www.obion.fr/blog/2023/11...

30.09.2025 10:48 — 👍 1    🔁 0    💬 0    📌 0
Video thumbnail

Folks, it's happened. AI has become *so* smart that it knows how to intentionally sabotage a live product demos by Mark Zuckerberg and leave him helplessly flailing...

#meta #metaai #AI #artificialintelligence

18.09.2025 19:47 — 👍 19    🔁 6    💬 5    📌 2
Post de Guillaume Deleur qui aurait été signalé et aurait conduit à la suspension de son compte :
Les gens : "Trump n'est pas fasciste, allez réviser ce qu'est le fascisme !"
Trump : "Les antifascistes sont des terroristes."

Post de Guillaume Deleur qui aurait été signalé et aurait conduit à la suspension de son compte : Les gens : "Trump n'est pas fasciste, allez réviser ce qu'est le fascisme !" Trump : "Les antifascistes sont des terroristes."

Dis @support.bsky.team @bsky.app
c’est quoi cette censure de Guillaume Deleur @gdeleur.bsky.social ?

Pour ce post en plus ?

18.09.2025 11:25 — 👍 540    🔁 299    💬 9    📌 19
Video thumbnail

Revenons sur le paradoxe des trois portes qui a fait couler beaucoup d'encre. Voici une autre résolution qui devrait éclairer les lanternes.

Salukes

#science #paradoxe #troisportes #logique #physique #mathematique #profbucella #lasciencepeuttout

07.09.2025 11:22 — 👍 52    🔁 15    💬 4    📌 0

A DISCWORLD PRIMER*

*or, why should I read this thing that everyone keeps going on about?

Come on in, sit down, pull up a chair. If you have followup questions, feel free to ask me or @ankhmorporkcity.watch, we're always happy to help.

(1/a lot, idk, we'll figure this out as we go)

17.07.2023 23:11 — 👍 3025    🔁 742    💬 165    📌 200

enshittification | noun | when a digital platform is made worse for users, in order to increase profits

03.09.2025 20:22 — 👍 29200    🔁 8587    💬 507    📌 651

just like for cp or mv, the "source" is the one that you already have

31.08.2025 21:18 — 👍 0    🔁 0    💬 0    📌 0

So my dumb “I’m not an economist” question is this: if most economic growth is concentrated in a few tech companies that mostly rely on advertising, and the rest of the economy isn’t growing as fast, who is paying for all those ads?

28.07.2025 12:25 — 👍 48    🔁 3    💬 14    📌 0

Il manque le Monozon.

06.07.2025 11:05 — 👍 0    🔁 0    💬 0    📌 0

Les longs messages sont scindés en plusieurs SMS, qui parfois sont remis bout à bout dans le désordre, à la réception. Ce scénario correspond-il à votre cas ?

02.07.2025 20:56 — 👍 0    🔁 0    💬 0    📌 0
Post image

Salaire divisé par deux, moins de contrats, perte de sens… Les traducteurs percutés de plein fouet par l’IA générative www.01net.com/actualites/s...

22.06.2025 07:31 — 👍 71    🔁 55    💬 2    📌 17

Delete a letter, ruin a video game:

Gobliins

07.06.2025 12:37 — 👍 1    🔁 0    💬 0    📌 0
Preview
Meta Pixel halts Android localhost tracking after disclosure : Zuckercorp and Yandex used localhost loophole to tie browser data to app users, say boffins

Yuck. Meta apps listen on localhost on Android so that tracking scripts can talk to apps, and Meta can monitor your browsing and tie it to identity. Why is that allowed? www.theregister.com/2025/06/03/m...

04.06.2025 01:47 — 👍 259    🔁 101    💬 13    📌 38
Preview
Interview with Ben Pfaff

Today, the USENIX newsletter ;login: published an interview with me: www.usenix.org/publications.... Read it to find out about Open vSwitch, @feldera.bsky.social, and more!

22.05.2025 22:58 — 👍 7    🔁 3    💬 0    📌 1

The Torment Nexus isn’t evil, it’s only a tool owned by the wrong people. If we build our own Torment Nexus, things will be better than ever.

07.05.2025 00:38 — 👍 1349    🔁 205    💬 34    📌 11

@netpeeker is following 20 prominent accounts