Lien DGSI : le journaliste Alex Jordanov renvoyé en procès

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 "This Is for Everyone" (dernier livre de Tim Berners-Lee)

Lien L'industrie de l'IA horrifiée par la perspective d'un recours collectif massif

Journal Des boucles SPIP au vibe coding augmenté : 25 ans de médiation littéraire par le code
1. Introduction – Une pratique du code née de la médiation
Depuis 25 ans, je code sans en avoir fait un métier. Je n'ai jamais appris le PHP, ni suivi de formation en développement web. Pourtant, j'ai construit, enrichi et fait évoluer plusieurs sites littéraires, dont l'actuel Bibliosurf.
Ce que j'ai appris, ce n'est pas le code pour le code, mais le code comme outil de mise en relation. Créer du lien entre un livre et un lecteur, démultiplier (…)
Lien Anthropic Scores a Landmark AI Copyright Win—but Will Face Trial Over Piracy Claims

Lien En Russie, des romans conditionnent les ados à devenir soldats
Lien Ada et Zangemann, livre jeunesse consacré au logiciel libre, html2print, licence CC

Lien Ouvrage collectif sur le "libéralisme autoritaire dans le monde du livre"

Lien Comment l’université tue le livre (et les intellectuels)

Lien Non aux faux livres IA : l’appel des écrivains et éditeurs européens

Journal loser du libre

Loser du libre (version talerepou) est maintenant disponible à la lecture ;D
Un livre qui parle de la pratique de développer un logiciel libre concrètement même quand on est pas taillé pour.
Ce qui est un point de vue original, vu que la communauté a une légère tendance à valoriser ses « grands hommes », et ses «success story».
Parlons lose !
PS: et c'est blindé de fautes d'ortografes :D
Lien Les robots resteront c…s, mais nous, le serons un peu moins.

Lien IA : le monde du livre dit non au nouveau code de conduite européen
