Lien Affaire Thélyson Orélien : IA, racisme d’aujourd’hui et littérature de demain

Lien Thèse plagiée : Étienne Klein perd son doctorat

Lien La saga Traqués continue : Apple ne trouverait pas les ayants droit du roman plagié

Lien Grokipedia vu par un administrateur Wikipédia

Le Frido 2025
Présentation
Le Frido est un livre de mathématique libre initialement destiné à l'agrégation, mais devenu généraliste. En supposant connue une théorie intuitive des ensembles, ça va jusqu'aux martingales, distributions, extensions de corps, etc. Avec toutes les démonstration intermédiaires (modulo les 981 entrées restantes dans ma liste de choses à faire).
Les résultats sont classés par ordre logique mathématique : chaque démonstration ne s'appuie que sur des résultats énoncés et démontrés plus haut. C'est loin d'être l'ordre pédagogique.
L'extension guilietta donne le reste de ce que je sais en math : groupes de Lie (l'objectif est de donner la liste des représentations de ).
Nouveautés 2025
Le bouquin vient de dépasser les 3000 pages cette année.
- Théorème de Banach-Alaoglu.
- Démonstration du fait que le système trigonométrique est une base hilbertienne.
- Fonctions analytiques entre espaces de Banach. L'objectif sera d'énoncer et démontrer le théorème d'inversion locale. Le seul doc que j'aie trouvé est celui-ci. Sinon ChatGPT se débrouille assez bien.
- Structure de groupe de Lie sur un sous-groupe fermé (ça c'est dans une extension)
- Dans le même ordre d'idée : modification de la définition d'une variété pour accepter des cartes à partir d'ouverts de n'importe quel espace vectoriel normé (et non seulement de
). Formellement, ça rend correcte pour un groupe de Lie l'idée de prendre des cartes depuis l'algèbre de Lie. En pratique, ça permet aussi de prendre des cartes depuis le produit tensoriel des fibres pour prendre le produit tensoriel de fibrés vectoriels. Si on n'accepte que des cartes depuis des ouverts de
, il faut prendre un isomorphisme (pas canonique) entre
et le produit tensoriel, et montrer qu'en réalité rien ne dépend de ce choix. L'inconvénient est qu'on ne peut plus parler de l'ensemble des cartes.
Lien Le physicien Etienne Klein, "philosophe des sciences préféré des média", accusé de plagiat

Lien Le précepteur, le plagiat par IA monétisé, la complicité/duplicité de YouTube, kafkaïen…

Lien Un enseignant-chercheur en informatique de Paris-8 convaincu de plagiat
Lien L'IA, plagiaire scientifique de haute volée (€ un mois)

Lien Afin de contrer les procès pour plagiat, 68 milliards de mélodies mis dans le domaine public

Journal Pourquoi Vim? (Première partie)

Vim est, de loin, mon éditeur de code préféré. Dans cet article je vais passer en revue ce qui me plais dans ce logiciel, ou ce qui pourrait plaire à un informaticien. Ces écrits sont un peut long, aussi ils seront séparés en plusieurs parties. Cette partie couvrira les bases, l'édition de texte et l'usage du clavier.
Attention, il ne s'agit pas d'un cours sur Vim, le but de cet article est d'en parcourir les atouts.
Quelques liens utiles:
Journal À quand l’IPv6 sur LinuxFr.org ?
Bonjour’nal
Jusqu’à présent pour mouler sur LinuxFr.org de manière sécurisée moderne avec mon copain TLS Patrick, on est obligé d’utiliser les services de l’EFF IPv4, on est maintenant en 2k17 et ça nous déçoit un peu…
Administrateurs, si vous nous lisez ne voulez‐vous pas déposer une petite redirection 301 de http://linuxfr.org vers https://linuxfr.org ? une… euh… j’imagine que ça ne doit pas être aussi simple qu’une ligne à changer dans un fichier.
Sinon, voulez‐vous bien éclairer ma lanterne fort (…)
Sortie du noyau Linux 4.9
La sortie de la version stable 4.9 du noyau Linux a été annoncée le dimanche 11 décembre 2016 par Linus Torvalds. Le nouveau noyau est, comme d’habitude, téléchargeable sur les serveurs du site kernel.org.
Le détail des évolutions, nouveautés et prévisions est dans la seconde partie de la dépêche (qui est sous licence CC BY-SA).
Forum général.général logiciel de détection de plagiat
Bonjour,
Connaissez-vous des logiciels libre de détection de plagiat ? Actuellement nous utilisons un logiciel propriétaire et voulons étudier d'autres voies.
Pour l'histoire, je ne suis pas personnellement impliqué dans le groupe plagiat de notre institution, mais relativement proche des personnes qui s'en occupent. Je serais particulièrement heureux de pouvoir leur proposer une solution open-source, qui vas dans le sens de ce qu'on impose aux scientifiques qui font appel à nous ( on ne finance que des articles open-access et on (…)

