Informatheux
@informatheux.bsky.social
Info. Maths. Logique. Shitpost.
Reposted by Informatheux
C'est du complotisme de gauche.
Un dédain pour la "science officielle" qui va se solder par un coût accru pour tout le monde, et quand on réalisera que ça ne marche pas, on accusera quelqu'un d'autre - agriculteurs, distributeurs, voire clients
Un dédain pour la "science officielle" qui va se solder par un coût accru pour tout le monde, et quand on réalisera que ça ne marche pas, on accusera quelqu'un d'autre - agriculteurs, distributeurs, voire clients
Je découvre ce matin que la ville de Paris souhaite créer des supermarchés bio à prix coûtant.
Le postulat de départ , c’est que la grande distribution gagne des montagnes d’argent , et d’une gestion publique permettrait de répartir cette marge entre les consommateurs et les producteurs .
Le postulat de départ , c’est que la grande distribution gagne des montagnes d’argent , et d’une gestion publique permettrait de répartir cette marge entre les consommateurs et les producteurs .
November 10, 2025 at 8:46 AM
C'est du complotisme de gauche.
Un dédain pour la "science officielle" qui va se solder par un coût accru pour tout le monde, et quand on réalisera que ça ne marche pas, on accusera quelqu'un d'autre - agriculteurs, distributeurs, voire clients
Un dédain pour la "science officielle" qui va se solder par un coût accru pour tout le monde, et quand on réalisera que ça ne marche pas, on accusera quelqu'un d'autre - agriculteurs, distributeurs, voire clients
Reposted by Informatheux
I thought the notion of “sheaf for a Lawvere-Tierney topology” was a very complicated one, but I realized it's actually not so complicated, and it can be defined completely internally (i.e., you don't need to know what a topos is, just how constructive math works). •1/7
November 9, 2025 at 10:18 AM
I thought the notion of “sheaf for a Lawvere-Tierney topology” was a very complicated one, but I realized it's actually not so complicated, and it can be defined completely internally (i.e., you don't need to know what a topos is, just how constructive math works). •1/7
Reposted by Informatheux
Vous voyez, c'est pour ça que je ne prends jamais au sérieux les politiques qui disent que les caisses sont vides.
Parce que si on rembourse toujours les cures thermales par la Sécurité sociale, c'est qu'il nous reste du pognon à foutre en l'air.
#DirectAN #PLFSS2026
Parce que si on rembourse toujours les cures thermales par la Sécurité sociale, c'est qu'il nous reste du pognon à foutre en l'air.
#DirectAN #PLFSS2026
November 8, 2025 at 8:43 PM
Vous voyez, c'est pour ça que je ne prends jamais au sérieux les politiques qui disent que les caisses sont vides.
Parce que si on rembourse toujours les cures thermales par la Sécurité sociale, c'est qu'il nous reste du pognon à foutre en l'air.
#DirectAN #PLFSS2026
Parce que si on rembourse toujours les cures thermales par la Sécurité sociale, c'est qu'il nous reste du pognon à foutre en l'air.
#DirectAN #PLFSS2026
Thou shalt not make a machine in the likeness of a human mind.
November 8, 2025 at 4:06 PM
Thou shalt not make a machine in the likeness of a human mind.
Reposted by Informatheux
Wondering why no one likes your posts anymore, even among your friends? It's because @jay.bsky.team and team have decided to hide a huge amount of content from all of our feeds by default.
Here's how to turn it off.
First go to the hamburger menu in the upper left corner
Here's how to turn it off.
First go to the hamburger menu in the upper left corner
November 6, 2025 at 6:23 PM
Wondering why no one likes your posts anymore, even among your friends? It's because @jay.bsky.team and team have decided to hide a huge amount of content from all of our feeds by default.
Here's how to turn it off.
First go to the hamburger menu in the upper left corner
Here's how to turn it off.
First go to the hamburger menu in the upper left corner
Reposted by Informatheux
Cette capture est dantesque : elle contient plus d'acronymes obscurs pour quelqu'un qui n'est pas dans le système universitaire qu'un post twitter du PDG d'inria
November 8, 2025 at 8:05 AM
Cette capture est dantesque : elle contient plus d'acronymes obscurs pour quelqu'un qui n'est pas dans le système universitaire qu'un post twitter du PDG d'inria
Reposted by Informatheux
Mais où sont donc passés les étudiants chinois ? <= nouveau billet sur le blog Gaïa Universitas rachelgliese.wordpress.com/2025/11/08/m...
Mais où sont donc passés les étudiants chinois ?
Il y a 20-25 ans, mon Université accueillait chaque année une délégation d’étudiants chinois. Ils arrivaient environ un mois avant la rentrée pour apprendre le français car ils ne venaient pas seul…
rachelgliese.wordpress.com
November 8, 2025 at 8:54 AM
Mais où sont donc passés les étudiants chinois ? <= nouveau billet sur le blog Gaïa Universitas rachelgliese.wordpress.com/2025/11/08/m...
Reposted by Informatheux
Quitte à interdire des bouts de tissu, on devrait interdire le port de la cravate car c'est un signe de soumission au capitalisme.
Tous ces pauvres hommes obligés de se nouer un nœud d'étranglement autour du cou comme des chiens accrochés à la laisse de leur maître. Brrrr
Tous ces pauvres hommes obligés de se nouer un nœud d'étranglement autour du cou comme des chiens accrochés à la laisse de leur maître. Brrrr
November 7, 2025 at 5:36 PM
Quitte à interdire des bouts de tissu, on devrait interdire le port de la cravate car c'est un signe de soumission au capitalisme.
Tous ces pauvres hommes obligés de se nouer un nœud d'étranglement autour du cou comme des chiens accrochés à la laisse de leur maître. Brrrr
Tous ces pauvres hommes obligés de se nouer un nœud d'étranglement autour du cou comme des chiens accrochés à la laisse de leur maître. Brrrr
Reposted by Informatheux
Update: sur l'autre site, on me signale l'existence des sites www.placedeslibraires.fr (et www.parislibrairies.fr mais ça semble être en gros le même spécifiquement pour Paris) qui permettent justement de rechercher quelles librairies ont un titre donné. 👍
November 7, 2025 at 10:28 PM
Update: sur l'autre site, on me signale l'existence des sites www.placedeslibraires.fr (et www.parislibrairies.fr mais ça semble être en gros le même spécifiquement pour Paris) qui permettent justement de rechercher quelles librairies ont un titre donné. 👍
Reposted by Informatheux
La situation reste pas géniale, mais on a fait un tout premier petit pas.
Il reste beaucoup à faire collectivement et individuellement
Il reste beaucoup à faire collectivement et individuellement
Although we're not where we should be, we're on a significantly better trajectory than we were 10 years ago.
10 Years After the Paris Climate Agreement, Here's Where We Are (Gift Article)
Has anything really changed in the decade since the Paris Agreement was reached? Actually, quite a lot.
www.nytimes.com
November 7, 2025 at 9:08 PM
La situation reste pas géniale, mais on a fait un tout premier petit pas.
Il reste beaucoup à faire collectivement et individuellement
Il reste beaucoup à faire collectivement et individuellement
Reposted by Informatheux
Having read the paper (not thew article below but the actual paper), I would rather write: Physicists Take the Imaginary Numbers Out of Quantum Mechanics and Replace Them with 2x2 Matrices and Tensor Products Imitating Complex Numbers.
And I find that aweless (hat tip @zachweinersmith.bsky.social)
And I find that aweless (hat tip @zachweinersmith.bsky.social)
For the first time, physicists have formulated quantum theory without imaginary numbers, overturning a 2021 claim that these unreal numbers are essential for describing the quantum world.
www.quantamagazine.org/physicists-t...
www.quantamagazine.org/physicists-t...
Physicists Take the Imaginary Numbers Out of Quantum Mechanics | Quanta Magazine
Quantum mechanics has at last been formulated exclusively with real numbers, bringing a mathematical puzzle at the heart of the theory into a new era of inquiry.
www.quantamagazine.org
November 7, 2025 at 6:11 PM
Having read the paper (not thew article below but the actual paper), I would rather write: Physicists Take the Imaginary Numbers Out of Quantum Mechanics and Replace Them with 2x2 Matrices and Tensor Products Imitating Complex Numbers.
And I find that aweless (hat tip @zachweinersmith.bsky.social)
And I find that aweless (hat tip @zachweinersmith.bsky.social)
Reposted by Informatheux
THIS is an underrated piece of the AT protocol that’s starting to break through. It’s not just that you can move all of your tweets, you can build whole new experiences on the web that you control.
Breakthrough 🤯 You're seeing
- ALL my @leaflet.pub articles 📄
- from ALL my Leaflet publications 📚
on my 🚧 new site (in dev) 🙀 that's
- version-controlled w/ @tangled.org 😳
- (soon) hosted w/ @nekomimi.pet's wisp.place 😱
EVERY PART is stored in my #PDS 🫠
#ATproto is the future!!! WTF 💙
- ALL my @leaflet.pub articles 📄
- from ALL my Leaflet publications 📚
on my 🚧 new site (in dev) 🙀 that's
- version-controlled w/ @tangled.org 😳
- (soon) hosted w/ @nekomimi.pet's wisp.place 😱
EVERY PART is stored in my #PDS 🫠
#ATproto is the future!!! WTF 💙
November 7, 2025 at 7:26 PM
THIS is an underrated piece of the AT protocol that’s starting to break through. It’s not just that you can move all of your tweets, you can build whole new experiences on the web that you control.
Avec ma copine on regardait des listes de prénoms, parce qu'elle trouvait que ses camarades avaient tous des prénoms étranges. Elle lit sur son téléphone... Et elle dit "Barthélémy... On fête quoi déjà à la saint Barthélémy ?" 🤭
November 7, 2025 at 7:38 PM
Avec ma copine on regardait des listes de prénoms, parce qu'elle trouvait que ses camarades avaient tous des prénoms étranges. Elle lit sur son téléphone... Et elle dit "Barthélémy... On fête quoi déjà à la saint Barthélémy ?" 🤭
Reposted by Informatheux
Le CDJM a cependant retenu ce grief dans un avis qu'il vient de publier. L’association @wikimedia.fr.web.brid.gy reprochait à @lepoint.fr les méthodes employées par son journaliste, auteur de messages jugés menaçants à un contributeur de Wikipédia. cdjm.org/avis-25-055/
Avis sur la saisine n° 25-055
Adopté en réunion plénière du 14 octobre 2025 (version PDF)
Description de la saisine
Le 18 mai 2025, M. Antoine Srun, agissant en qualité de président de l’association Wikimédia France, a saisi le CD...
cdjm.org
November 7, 2025 at 1:14 PM
Le CDJM a cependant retenu ce grief dans un avis qu'il vient de publier. L’association @wikimedia.fr.web.brid.gy reprochait à @lepoint.fr les méthodes employées par son journaliste, auteur de messages jugés menaçants à un contributeur de Wikipédia. cdjm.org/avis-25-055/
Reposted by Informatheux
"Je débute encore, je suis pas au niveau des pros" me dit ma pote Anaïs quand je lui demande la permission de parler de ses dessins au milieu du jdr potentiellement en recherche d'illustrateurs.
www.instagram.com/adv4rt?igsh=...
Visez le niveau de GALÉJADE.
La CLOWNERIE d'une telle affirmation.
www.instagram.com/adv4rt?igsh=...
Visez le niveau de GALÉJADE.
La CLOWNERIE d'une telle affirmation.
Login • Instagram
Welcome back to Instagram. Sign in to check out what your friends, family & interests have been capturing & sharing around the world.
www.instagram.com
November 7, 2025 at 2:45 PM
"Je débute encore, je suis pas au niveau des pros" me dit ma pote Anaïs quand je lui demande la permission de parler de ses dessins au milieu du jdr potentiellement en recherche d'illustrateurs.
www.instagram.com/adv4rt?igsh=...
Visez le niveau de GALÉJADE.
La CLOWNERIE d'une telle affirmation.
www.instagram.com/adv4rt?igsh=...
Visez le niveau de GALÉJADE.
La CLOWNERIE d'une telle affirmation.
Reposted by Informatheux
Quelques années une étude similaire du WSJ, la même à nouveau, en Belgique. Idem, même sous RGPD.
Mon téléphone reconditionné @murena-com.bsky.social change mon adresse IP et bloque géolocalisation et pisteurs.
Si ce n’est pour vous, faites-le pour vos proches dont vous fuitez les données.
Mon téléphone reconditionné @murena-com.bsky.social change mon adresse IP et bloque géolocalisation et pisteurs.
Si ce n’est pour vous, faites-le pour vos proches dont vous fuitez les données.
Vous n'avez rien à cacher? Tant mieux, car tous vos déplacements sont à vendre en ligne
L'Echo a eu accès à des millions de données de localisation de personnes qui utilisent leur téléphone en Belgique. Parmi ces données, nous avons pu identifier formellement de hauts responsables de l'U...
multimedia.lecho.be
November 7, 2025 at 3:48 PM
Quelques années une étude similaire du WSJ, la même à nouveau, en Belgique. Idem, même sous RGPD.
Mon téléphone reconditionné @murena-com.bsky.social change mon adresse IP et bloque géolocalisation et pisteurs.
Si ce n’est pour vous, faites-le pour vos proches dont vous fuitez les données.
Mon téléphone reconditionné @murena-com.bsky.social change mon adresse IP et bloque géolocalisation et pisteurs.
Si ce n’est pour vous, faites-le pour vos proches dont vous fuitez les données.
J'interprète la Σ₁⁰-LEM comme le fait qu'on puisse décider si une machine de Turing termine, donc d'avoir un oracle pour l'arrêt. Est-ce qu'il y a un lien plus formel entre Σₙ⁰-LEM, hiérarchie arithmétique et degrés de Turing (je connais le théorème de Post) en maths constructives ?
November 7, 2025 at 9:35 AM
J'interprète la Σ₁⁰-LEM comme le fait qu'on puisse décider si une machine de Turing termine, donc d'avoir un oracle pour l'arrêt. Est-ce qu'il y a un lien plus formel entre Σₙ⁰-LEM, hiérarchie arithmétique et degrés de Turing (je connais le théorème de Post) en maths constructives ?
La page wikipédia "Deutschland. Ein Wintermärchen." n'existe pas en français. Si quelqu'un veut s'y coller... 😁
Sans transition - rentrée de Gand hier HOPLA je retourne à la préparation du prochain colloque sur poésie et ironie, où je parlerai donc de traduire l'ironie dans la poésie de Heine. J'ai mis des images
November 7, 2025 at 9:10 AM
La page wikipédia "Deutschland. Ein Wintermärchen." n'existe pas en français. Si quelqu'un veut s'y coller... 😁
Reposted by Informatheux
Sans transition - rentrée de Gand hier HOPLA je retourne à la préparation du prochain colloque sur poésie et ironie, où je parlerai donc de traduire l'ironie dans la poésie de Heine. J'ai mis des images
November 7, 2025 at 8:54 AM
Sans transition - rentrée de Gand hier HOPLA je retourne à la préparation du prochain colloque sur poésie et ironie, où je parlerai donc de traduire l'ironie dans la poésie de Heine. J'ai mis des images
Reposted by Informatheux
Porte, monstre, trésor, dans cet ordre ?
Il y a 50 ans naissait l’un des genres majeurs du jeu vidéo
En 1975, bien loin des AAA et des mondes ouverts, quelques étudiants-programmeurs branchés sur des terminaux PLATO (un réseau avant l'heure, réunissant des mill...
elbakin.net
November 5, 2025 at 7:06 AM
Porte, monstre, trésor, dans cet ordre ?
Reposted by Informatheux
Vous voulez une anecdote à base de théorie des corps réels clos et de chiisme duodécimain ?
« Proche des frères. » Mamdani pratique l’islam chiite duodécimain – les Frères musulmans sont sunnites. Mamdani soutient les droits des LGBTQ, les Frères musulmans, euh… Répétez après moi en articulant bien : Caroline Fourest est une fraude. Même comme agent de désinformation, elle est pitoyable.
Non mais imagine. Imagine. T’es invité(e) sur tous les plateaux pour dire que tu n’es pas écouté(e) quand tu nies le génocide palestinien et dégueules sur ceux et celles qui s’y opposent. Ici Fourest et Enthoven, les Bouvard et Pécuchet de Franc-Tireur….
November 5, 2025 at 8:47 PM
Vous voulez une anecdote à base de théorie des corps réels clos et de chiisme duodécimain ?
Reposted by Informatheux
Un billet de blog pour parler de façon un peu plus systématique des questions que j'ai évoquées dans quelques fils ici: www.madore.org/~david/weblo... (je commence par une devinette, puis j'évoque une notion de «degré de co-Turing» duale de celle des degrés de Turing).
Une devinette et des méditations sur les « degrés de co-Turing »
www.madore.org
November 6, 2025 at 7:59 PM
Un billet de blog pour parler de façon un peu plus systématique des questions que j'ai évoquées dans quelques fils ici: www.madore.org/~david/weblo... (je commence par une devinette, puis j'évoque une notion de «degré de co-Turing» duale de celle des degrés de Turing).
Reposted by Informatheux
Reposted by Informatheux
Fun fact : dans le monde de l'éducation, une croyance largement partagée est que l'on peut valablement exposer sur des domaines éloignés du sien après avoir un peu lu de la vulgarisation, des fictions et/ou de l'activisme, tandis qu'il faut être expert ≥ bac+5 pour parler de son propre domaine.
November 2, 2025 at 1:22 PM
Fun fact : dans le monde de l'éducation, une croyance largement partagée est que l'on peut valablement exposer sur des domaines éloignés du sien après avoir un peu lu de la vulgarisation, des fictions et/ou de l'activisme, tandis qu'il faut être expert ≥ bac+5 pour parler de son propre domaine.