Compilation du mar., 19 sept. 2023, liste linuxfr-news Sommaire :
1. [Lettre LinuxFr.org] Sortie du Frido pour les Matheux - [email protected] 2. [Lettre LinuxFr.org] Revue de presse de l’April pour la semaine 37 de l’année 2023 - [email protected] 3. [Lettre LinuxFr.org] Perl 5.38.0 est sorti - [email protected]
--- Begin Message ---Sortie du Frido pour les Matheux
Le Frido est un livre libre de mathématique libre. L’objectif est de partir de la théorie des ensembles (acceptée avec le lemme de Zorn), et d’aller jusqu’au niveau de début du master en faisant toutes les étapes. Pas pour les enfants.
- lien nᵒ 1 : Frido : un livre de Maths libre
Anciennement pour l’agrégation
Au départ, le Frido était construit comme une complétion d’une liste de développements pour l’agrégation de mathématiques pour la relation de « si un résultat démontré s’appuie sur un autre, alors l’autre est démontré ».
Après quelques années, il faut bien avouer que cet objectif est en passe d’être atteint… ou pas.
D’une part, le nombre de trous commence à bien s’aménuiser. Il reste relativement peu de résultats énoncés non démontrés (de quoi encore m’occuper quelques années cependant).
Mais, d’autre part, l’aspect « agrégation » commence à devenir tout relatif. D’une part, je n’ai pas du tout suivi les changements de programme, et, d’autre part, les parties hors programme deviennent nombreuses, longues et
duresbien faites.Nouveautés 2023
Théorème de Jordan
Le théorème de Jordan en version continue est complètement démontré en suivant presque pas à pas ce très bon document de Quayle et le Gruiec.
D’ailleurs si quelqu’un peut répondre à cette question à propos de la frontière, ce serait très bien.
Tenseurs d’applications multilinéaires
Il est démontré que l’espace vectoriel des applications multilinéaires de VxW vers R est un produit tensoriel de V par W (vérifie la propriété universelle).
Pas mal de choses sont faites entre les vecteurs, les formes, et le produit extérieur.
Énorme relecture
Quentin Guyot, un lecteur de LinuxFr.org, a fait une gigantesque relecture. Juste pour donner un ordre de grandeur du nombre de typos qu’il a trouvées, sachez que ça majore le castor affairé à 4 états — j’en ai compté 1834.
De ces typos, une trentaine ont rejoint l’erratum. L’erratum regroupe les fautes suffisamment graves pour ruiner une démonstration, rendre un énoncé faux, et dont la résolution n’est pas évidente.
Contribution
Donner des démonstrations
Si vous voulez m’envoyer une démonstration à inclure, n’hésitez pas. Une façon facile de le faire est de m’envoyer par mail une photo d’une démonstration écrite à la main. Il y a des moyens plus sophistiqués ; je vous fais confiance.
Algèbre
Je suis en train d’essayer de créer une liste des phrases (vraies) de la forme
« Tout anneau A est B »
avec A et B pouvant prendre leurs valeurs dans la liste « principal », « euclidien », « intègre », « noetherien », et « factoriel ».
Et aussi les phrases de la forme
« Dans un anneau A, tout élément X est Y. »
où X et Y prennent leurs valeurs dans « irréductible » et « premier ».
Ce que j’ai pour l’instant est dans l’index thématique, thème 6 « anneaux », vers la page 5.
S’il m’en manque, n’hésitez pas à m’envoyer les énoncés avec leurs démonstrations.
Développements d’agrégation
Il y a, au bout du Frido, une vieille liste de développements possible par leçon ; elle n’est pas du tout à jour. N’hésitez pas à m’envoyer des listes de théorèmes par leçon. Donnez-moi les théorèmes sous forme de label dans le Frido.
Si un résultat vraiment intéressant manque dans le Frido, envoyez-moi un énoncé et une preuve.
Plans de leçons
Le règlement est très clair là-dessus, sans doute pour éviter ce genre de plaisanteries. Pas de plans.
Quelques réflexions sur le règlement de l’agrégation
Voici une partie que j’aime bien :
Seuls sont autorisés les ouvrages […] jouissant d’un minimum de diffusion commerciale. […] Cette restriction est motivée par le principe d’égalité des candidats : les ressources documentaires autorisées doivent être facilement accessibles à tout candidat au concours.
(le gras est de moi et les parties coupées parlent d’ISBN)
Les livres qui ne sont plus en vente sont donc interdits. Non, la possibilité d’en trouver certains dans des bibliothèques ou en seconde main ne permet pas à un livre non vendu d’être facilement accessible à tous les candidats.
Quid de l’équité financière ? Sortir des centaines d’euros de la poche n’est certainement pas facile pour tous les candidats. Beaucoup de livres commerciaux (exemple) seraient également interdits. On ne peut pas raisonnablement croire que tous les candidats peuvent facilement claquer 28 euros rien que pour les distributions et les équations différentielles.
Bref, c’est certainement une bonne idée de mettre l’équité entre les candidats au centre de la politique livresque. Par contre, je ne suis pas très sûr que compter sur l’achat de livres neufs pour la garantir soit une bonne idée.
Le Frido est libre au sens de la licence FDL (source LaTeX). Vous pouvez le télécharger et l’imprimer vous-même. Par contre le règlement de l’agrégation interdit explicitement les livres imprimés chez vous, et même par les bibliothèques universitaires.
Et voici donc ma transition vers…
Vente
Suivez le lien pour l’achat du premier volume. Le tout coûte 107 euros plus les frais d’envoi. Je précise que c’est uniquement le prix de l’imprimeur. Moi, je ne prends rien.
Si vous êtes capables de l’imprimer pour moins cher, n’hésitez pas, la licence FDL est là pour ça.
Commentaires : voir le flux Atom ouvrir dans le navigateur
--- End Message ---
--- Begin Message ---Revue de presse de l’April pour la semaine 37 de l’année 2023
Cette revue de presse sur Internet fait partie du travail de veille mené par l’April dans le cadre de son action de défense et de promotion du logiciel libre. Les positions exposées dans les articles sont celles de leurs auteurs et ne rejoignent pas forcément celles de l’April.
- lien nᵒ 1 : April
- lien nᵒ 2 : Revue de presse de l'April
- lien nᵒ 3 : Revue de presse de la semaine précédente
- lien nᵒ 4 : 🕸 Fils du Net
[AOC media] Ouvrir le code des algorithmes ne suffit plus
✍ Olivier Ertzscheid, le dimanche 17 septembre 2023.
Depuis son arrivée à la tête de Twitter rebaptisé X, Elon Musk a bien tenu sa promesse d’ouvrir certaines parties du code source de la plateforme. Cette réponse à de vieilles revendications militantes pour plus de transparence des plateformes ne manque, en vérité, pas de cynisme. Il est devenu transparent que le code de Twitter favorisait certains contenus et en défavorisait d’autres, au bon vouloir de Musk. L’ouverture du code ne suffit plus, aujourd’hui, pour donner des outils de contrôle à ce que les grandes plateformes font de nos espaces d’_expression_ et de nos démocraties.
[ActuaLitté.com] Droit d'auteur: Internet Archive fait appel de sa condamnation
✍ Antoine Oury, le mardi 12 septembre 2023.
Condamnée en mars dernier pour violation du copyright après avoir diffusé sans autorisation les œuvres publiées par quatre groupes d’édition américains, l’ONG Internet Archive avait anticipé son recours en appel. Celui-ci a été déposé auprès d’une cour new-yorkaise, ce 11 septembre 2023.
[ZDNet France] Voici une autre raison pour laquelle Linux est bien plus cool que votre système d'exploitation actuel
✍ Jack Wallen, le mardi 12 septembre 2023.
Vous pensez peut-être que Windows et MacOS vous permettent de rester connecté, de vous divertir ou d’être productif sans faillir. Mais si vous utilisez un système d’exploitation autre que Linux, vous ratez quelque chose. Lisez bien ce qui suit.
Commentaires : voir le flux Atom ouvrir dans le navigateur
--- End Message ---
--- Begin Message ---Perl 5.38.0 est sorti
Perl est un langage généraliste créé en 1987 par Larry Wall. Il est distribué sous une double licence : Artistic Licence et GPL v1+. La plupart des modules du CPAN, dépôt de référence pour des modules tiers, suivent également ce même traitement. Perl est inclus dans la quasi-totalité des distributions GNU/Linux.
La toute dernière version de Perl, la 5.38.0, est sortie le 3 juillet 2023. Vous la retrouverez bientôt dans votre distribution préférée.
Tout d’abord un petit lien vers la dépêche de l’année dernière sur la sortie de Perl 5.36.0 ainsi que vers les dépêches annonçant les sorties de Perl 5.32.0 et 5.30.0.
Perl (wikipedia)
Annonce de Perl 5.38.0
Changelog Perl 5.38.0
TODO Changelog commenté
Site officiel Perl
Perl est un langage généraliste créé en 1987 par Larry Wall. Il est distribué sous une double licence : Artistic Licence et GPL v1+. La plupart des modules du CPAN, dépôt de référence pour des modules tiers, suivent également ce même traitement. Perl est inclus dans la quasi-totalité des distributions GNU/Linux.
Améliorations de base
Nouvelle fonctionnalité de classe
Depuis quelque temps, Curtis 'Ovid' Poe propose d’intégrer une couche orienté-objet dans l’interpréteur Perl lui-même. Si Perl a plusieurs (dizaines de) modules qui permettent d’utiliser de l’orienté-objet qu’on trouve facilement sur CPAN, ceux-ci sont bridés par le fait qu’ils ne peuvent pas modifier la syntaxe du langage. Ajoutons qu’il n’est pas toujours facile de choisir parmi les différentes solutions proposées… Il a donc proposé un nouveau concept, Corinna, qui sera intégré dans l’interpréteur Perl en plusieurs étapes, la première ayant été intégrée pendant le cycle de développement de Perl 5.38.
Les classes
Ainsi, une nouvelle syntaxe est désormais disponible pour définir des classes d’objets, où les données par instance sont stockées dans des variables « champ » qui se comportent comme des lexiques.
On peut déclarer une classe des manières suivantes :
- class NAME BLOCK
- class NAME VERSION BLOCK
- class NAME;
- class NAME VERSION;
Les champs
Le mot clé 'field' permet de déclarer des variables à l’intérieur d’une classe. Les valeurs de ces variables sont privées par défaut, mais on peut créer une fonction qui les rend accessibles.
- field VARIABLE_NAME;
- field VARIABLE_NAME = EXPR;
- field VARIABLE_NAME : ATTRIBUTES;
- field VARIABLE_NAME : ATTRIBUTES = EXPR;
Les méthodes
Le mot-clé 'method' permet de déclarer des fonctions (anonymes ou pas) propres à une classe.
- method METHOD_NAME SIGNATURE BLOCK
- method METHOD_NAME BLOCK
- method SIGNATURE BLOCK
- method BLOCK
Comme dit, ceci reste une fonctionnalité nouvelle et expérimentale, encore en développement. Elle fera l’objet d’ajouts, de raffinements et sans doute de modifications. Comme elle est expérimentale, son utilisation génère des avertissements dans la catégorie experimental::class. Ceux-ci peuvent être réduits au silence par une déclaration de non-avertissement.
Comme toujours,
use v5.38;active les fonctionnalités pour cette version de Perl.use v5.38; sub add ($x, $y) { return $x + $y; }Unicode 15.0 est pris en charge
Chaque version de Perl essaie d’avoir le support de la dernière version d’Unicode connue et Perl 5.38 ne fait pas exception à la règle. La version 15.0 d’Unicode étant sortie en septembre 2022, c’est le support de cette version qu’on retrouve dans Perl 5.38.
Si les développeurs de Perl visent la sortie d’une nouvelle version en juin, c’est, entre autres raisons, parce que la communauté Perl organise la conférence Perl et Raku (« The Perl and Raku Conference », en vo) au mois de juillet. L’édition de cette année s’est déroulée à Toronto, au Canada et on a pu y discuter de l’utilisation du langage, des ajouts qui sont prévus et de l’utilisation de certains modules. On peut retrouver l’ensemble des présentations données sur la chaîne Youtube de l’évènement.
Commentaires : voir le flux Atom ouvrir dans le navigateur
--- End Message ---
Fin de compilation de la liste linuxfr-news - mar., 19 sept. 2023
