Informatheux
@informatheux.bsky.social
Info. Maths. Logique. Shitpost.
Reposted by Informatheux
Open AI loses copyright case in Germany.
Judge Elke Schwager summarized the case saying that if you want to build something and need components, "then you purchase them and do not use the property of others."
Judge Elke Schwager summarized the case saying that if you want to build something and need components, "then you purchase them and do not use the property of others."
Blow for OpenAI in Germany as court rules song lyrics used illegally
A German court ruled on Tuesday that OpenAI violated copyright on nine popular songs in a lawsuit that marked another attempt to prevent the free use of artists' content online. The Munich Regional Co...
www.yahoo.com
November 14, 2025 at 2:49 PM
Open AI loses copyright case in Germany.
Judge Elke Schwager summarized the case saying that if you want to build something and need components, "then you purchase them and do not use the property of others."
Judge Elke Schwager summarized the case saying that if you want to build something and need components, "then you purchase them and do not use the property of others."
Je cherche une preuve d'un truc. Je tape la propriété, je tombe sur un article, qui dit :
Kleene proved [truc] [gros bouquin].
J'ouvre le bouquin à la page indiquée :
We leave [truc] as an exercice.
😐
(Y a une indication pour le faire, mais bon)
Kleene proved [truc] [gros bouquin].
J'ouvre le bouquin à la page indiquée :
We leave [truc] as an exercice.
😐
(Y a une indication pour le faire, mais bon)
November 14, 2025 at 4:04 PM
Je cherche une preuve d'un truc. Je tape la propriété, je tombe sur un article, qui dit :
Kleene proved [truc] [gros bouquin].
J'ouvre le bouquin à la page indiquée :
We leave [truc] as an exercice.
😐
(Y a une indication pour le faire, mais bon)
Kleene proved [truc] [gros bouquin].
J'ouvre le bouquin à la page indiquée :
We leave [truc] as an exercice.
😐
(Y a une indication pour le faire, mais bon)
Je crois que cet accident m'a plus marqué que le Bataclan. Ma sœur faisait du cheval à Eckwersheim, on passait sous les rails à chaque fois...
November 14, 2025 at 8:12 AM
Je crois que cet accident m'a plus marqué que le Bataclan. Ma sœur faisait du cheval à Eckwersheim, on passait sous les rails à chaque fois...
Reposted by Informatheux
Reposted by Informatheux
Je redécouvre des gens dans ma TL c’est formidable.
Mais je ne veux toujours pas voir vos reposts, vous m’angoissez.
Mais je ne veux toujours pas voir vos reposts, vous m’angoissez.
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 13, 2025 at 7:49 AM
Je redécouvre des gens dans ma TL c’est formidable.
Mais je ne veux toujours pas voir vos reposts, vous m’angoissez.
Mais je ne veux toujours pas voir vos reposts, vous m’angoissez.
Quand je vois ça je me dis que les youtubeurs/streamers ont encore bien du retard. Combien ne gagnent ne serait-ce que la moitié ? Et même Squeezie ou les autres qui gagnent bien plus ne font pas partie de la "caste médiatique", alors qu'ils n'ont rien à envier à d'autres animateurs télé.
"elle n'a pas fait le choix de la sécurité financière", ose le directeur de l'info de france inter.
c'est vrai que 20.000 euros par mois sur france 2 plutôt que 50.000 sur BFM, miskina, quelle précarité ! www.challenges.fr/entreprise/m...
c'est vrai que 20.000 euros par mois sur france 2 plutôt que 50.000 sur BFM, miskina, quelle précarité ! www.challenges.fr/entreprise/m...
« Si elle avait su, elle ne serait pas venue » : au 20-Heures de France 2, Léa Salamé peut-elle sauver un JT qui enchaîne les couacs ?
PORTRAIT - Vedette du PAF, elle a préféré relever le défi du 20-Heures de France 2 que céder aux sirènes de BFM TV. « Agaçante
», « hypercash
»… Elle est sur tous les fronts. Pour redresser l’audien...
www.challenges.fr
November 12, 2025 at 8:44 AM
Quand je vois ça je me dis que les youtubeurs/streamers ont encore bien du retard. Combien ne gagnent ne serait-ce que la moitié ? Et même Squeezie ou les autres qui gagnent bien plus ne font pas partie de la "caste médiatique", alors qu'ils n'ont rien à envier à d'autres animateurs télé.
Reposted by Informatheux
Je n'aurais jamais pensé trouver un crossover plus étrange que le restaurant / marchand de vélos, mais apparemment c'est possible.
November 11, 2025 at 11:24 PM
Je n'aurais jamais pensé trouver un crossover plus étrange que le restaurant / marchand de vélos, mais apparemment c'est possible.
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 ?