jch a écrit 141 commentaires

J'utilise les deux applis FUTO Voice et Keyboard

Elles sont basées sur le modèle Whisper.

As-tu fait une comparaison des différents modèles de transcription ?

Si je demande, c'est à cause du logiciel de sous-titrage automatique de Galène, galene-stt. J'en ai fait deux versions, l'une qui utilise le modèle Whisper, at l'autre qui utilise Moonshine.

Mes conclusions :

• Whisper-large produit des résultats corrects pour l'anglais et le français, mais des résultats décevants pour l'anglais avec l'accent français. Ce n'est pas un modèle temps réel : il est entraîné sur des segments de 30s, et ça demande pas mal de travail d'en tirer une latence acceptable.

• Moonshine est un modèle temps réel, il permet donc d'obtenir des latences excellentes. Malheureusement, il ne supporte pas le français, ce qui est la raison pour laquelle je l'ai laissé dans une branche séparée. Je vais peut-être le rajouter en option dans la branche officielle.

As-tu essayé d'autres modèles à me suggérer ?

Dire qu'il y a zéro Frido valide signifie (si j'ai bien compris le concept) qu'il existe zéro démonstrations valides tout court parce que les démonstration avec cycles ne sont pas valides.

D'après ce que j'ai compris, ça voudrait dire qu'il y a un cycle dans les références entre propriétés. Ça voudrait dire que les preuves du Frido ne seraient pas bien fondées, mais ça n'impliquerait pas que les propriétés soient fausses (il se pourrait qu'il existe des preuves bien fondées des mêmes propriétés).

Je ne sais pas comment on appelle un système d'axiome dans lequel aucune preuve n'est valide, mais le mot "incohérent" m'a l'air de convenir …

Si ma mémoire est bonne, incohérent, ça veut dire qu'il démontre une propriété et sa négation (et par conséquent qu'il démontre toute propriété).

(en mode je parle de ce que je ne connais pas)

Pareil :-)

La proposition "il y en a 0 de valide" serait équivalente à "ZFC est incohérent".

C'est une affirmation très forte. Tu peux nous donner une idée de preuve ?

Non. Il se pourrait qu'il n'y ait pas de cycle à 2, mais qu'il y ait un cycle à n > 2.

Il n'y a pas de cycles du tout. Sinon ce serait incohérent.

Ce ne serait pas bien fondé, mais il se pourrait que ça reste cohérent.

tu as compris ma question.

Oui. J'ai essayé d'être aussi pédant que possible, en hommage à Laurent.

Peut-on démontrer que la proposition "il y a 0 Frido valide" est vraie si et seulement s'il existe un cycle,

Oui. C'est la propriété qui dit qu'un tri topologique produit un ordre total compatible avec (l'ordre partiel induit par) le graphe de départ si et seulement si le graphe était acyclique.

c'est-à-dire qu'il existe au moins une paire d'énoncés (A,B) telle que A se démontre à partir de B, mais B se démontre à partir de A ?

Non. Il se pourrait qu'il n'y ait pas de cycle à 2, mais qu'il y ait un cycle à n > 2.

avec tout cela, personne pour indiquer que CIR dans ce contexte c'est le crédit impôt recherche ?

Tu as raison, on aurait dû expliquer.

Le crédit impôt recherche (CIR) est une subvention de l'état français destinée aux entreprises qui investissent dans la R&D. D'après ses défenseurs, c'est une manière d'encourager les entreprises à investir davantage dans la recherche. D'après ses détracteurs, c'est une façon de détourner les crédits de la recherche publique pour les mettre dans la poche des actionnaires du privé. D'après tout le monde, ça permet de contourner les limites européennes sur les subventions au privé.

Je comprends pas bien ?

C'était une manière délicate de te faire remarquer que tu devrais développer les acronymes que les lecteurs de LinuxFR n'ont pas forcément en tête. C'est tombé à plat, tant pis.

(Par ailleurs je suis d'accord avec toi sur le fond, pas forcément sur les chiffres.)

on peut probablement réduire massivement le CIR

Commission internationale du riz ?

Et quand tu t'appelles le CNRS, tu as déjà largement l'infra pour héberger qques serveurs en plus.

Tu surestimes ce qu’est le CNRS.

La subvention du CNRS en 2025 est de 2923 M€. C'est en baisse par rapport à 2024 (2948 M€), il devrait cependant être possible de trouver les crédits pour quelques serveurs PeerTube, surtout si c'est fait en collaboration avec l'INRIA. Je ne sais pas si la volonté politique existe : j'ai des éléments qui me font penser que la direction du CNRS est au courent de cette problématique, mais je ne connais pas leur DSI.

Est-ce que c'est une application iCal, qui marche avec n'importe quel serveur ? Ou est-ce que c'est une application qui utilise un protocole spécifique à Nextcloud ?

De mon point de vu jj a moins d’opinion que git et l’idée que les branches devraient avancer avec les commits est une opinion.

Je ne suis pas entièrement d'accord. Git a les tags, qui n'avancent pas, et les branches, qui avancent. C'est donc l'utilisateur qui choisit.

Mais personne n’est obligé d’utiliser jj, s’il s’agit de reproduire le fonctionnement de git avec jj utiliser git sera plus efficace.

Personne n'est obligé, mais je suis content d'avoir joué avec, car JJ corrige plusieurs des problèmes de Git. En particulier, JJ montre que la distinction entre commit, staging area et stash n'est pas utile, ce sont juste des trees qu'on manipule de manière différente. Du coup, je suis assez frustré de ne pas pouvoir l'utiliser pour les vrais projets.

J’attends juste qu’il arrive dans Debian ;-)

Tu n'as pas besoin d'attendre : jj consiste d'un seul binaire statique, qu'il suffit que tu copies dans ton /usr/local/bin (ou ailleurs dans ton PATH).

jj git fetch -b private -b master
jj new master

…

jj commit
jj rebase -b private -d master

Je ne comprends pas comment ça marche. Je n'ai pas besoin d'avancer la branche manuellement après jj commit ?

J'en suis revenu quand j'ai commencé à raisonner bookmark et plus "branche qui n'avance pas". Le bookmark étant plus proche d'un tag finalement.

Et c'est là que quelque chose m'échappe. Quand je travaille, j'ai plusieurs « branches qui avancent ». Le concept ne semble pas exister dans JJ, il faut que j'avance les tags manuellements, ce qui à première vue représente une charge cognitive supplémentaire. J'ai l'impression qu'il y a une information qui me manque, et cela alors que j'ai lu la doc attentivement.

J'ai essayé JJ sur un vrai projet. Je me suis torturé pendant un mois. Puis je suis revenu à Git.

Dans mon projet, il y avait deux branches : la branche master, qui était publique, et une branche privée. La branche master était immutable (elle était poussée sur un serveur public), la branche privée était régulièrement rebased au dessus de la branche publique.

Avec Git, c'était facile :

git checkout master
...
git commit -a
git push
git checkout private
git rebase master

Je n'ai jamais trouvé un workflow satisfaisant avec JJ. Comme les étiquettes ne se mettent pas à jour automatiquement, à la différence des branches de Git, il n'était jamais clair sur quel commit je devais rebaser ma branche privée. Maintenir mes deux branches me demandait un effort cognitif important. Et c'était un petit projet. Sur mes projets plus sérieux, j'ai souvent quatre ou cinq branches de travail qui se font régulièrement rebaser sur la branche stable.

Il y a sûrement quelque chose que je n'ai pas compris, mais j'ai trouvé JJ beaucoup plus difficile à utiliser que Git pour maintenir des branches de travail.

On parle d'un rapport parlementaire, qui est justement destiné à ces « autres ».

Un élu

Les élus sont une goutte d'eau. Il y a près de 6 millions de fonctionnaires en France. Tu en côtoies des dizaines : le facteur qui t'a amené le courrier ce matin, l'instit qui apprend la table de multiplication à ta fille, le flic qui t'a fait payer 35€ parce que tu t'es mal garé, la dame au guichet de la mairie qui t'a dit qu'elle n'y pouvait rien, et qu'il fallait que tu fasses ta démarche en ligne.

En ce moment, le directeur du bureau de poste fait son planning dans Google docs, l'instit participe au conseil de classe en Zoom quand elle ne peut pas venir, le flic utilise Word pour écrire son rapport, et la dame au guichet consulte un serveur basé sur Oracle. Si l'on remplace une partie raisonnable de ces applications par du logiciel libre, c'est 200M€ par an qui vont dans notre poche collective au lieu de celle de l'actionnaire américain. Et cela sans même parler du fait que si Trump décide, sur un coup de tête, de nous interdire d'utiliser Google docs, on veut une alternative sur laquelle on peut basculer rapidement. Sans ça, t'auras pas ton courrier à temps.

« La généralisation de solutions propriétaires entraîne le paiement de frais de licences aux sociétés qui les proposent. Les dépenses logicielles du périmètre État strict sont évaluées à 361 millions d’euros, dont 268 millions d’euros auprès de fournisseurs extraeuropéens (74 %). […] Parmi les dépenses réalisées, les principales solutions concernées disposent d’alternatives en open source (pour la bureautique, LibreOffice ou les produits de la Dinum ; pour les systèmes d’exploitation, Linux ; pour la virtualisation, Openstack, Proxmox ou Kubernetes ; pour la gestion de bases de données PostgreSQL, Tomca. »

« En 2025, dix entreprises ont dépensé 49 millions d’euros en lobbying auprès des institutions européennes, dont 35 millions pour les seuls GAFAM, dépassant les montants investis par les secteurs de la pharmacie, de la finance ou de l’automobile. Ces entreprises mobilisent un réseau dense de 210 lobbyistes, ce qui se traduit par plus d’une réunion par jour ouvré avec la Commission et de nombreux contacts avec le Parlement. »

« Les États-Unis interviennent aussi directement pour défendre les intérêts de leurs entreprises : les pressions de l’administration américaine ont fort probablement contribué à l’abandon des critères d’immunité aux lois extraterritoriales dans le projet européen de certification cloud EUCS. »

« La Commission européenne a présenté, en novembre 2025, un paquet législatif de « simplification » des normes numériques, comprenant une proposition de règlement dit omnibus numérique, qui modifie notamment le RGPD et le droit des données. […] l’omnibus fragilise plusieurs droits clés : la définition de la « recherche scientifique » est étendue de manière très large, y compris pour des travaux poursuivant un intérêt commercial, ce qui augmenterait les possibilités de déroger aux droits d’accès, d’information, d’opposition et d’effacement des personnes. »

Merci à tous les trois, c'est plus clair maintenant.

Est-ce que quelqu'un pourrait m'expliquer pourquoi un fournisseur de comptes XMPP aurait besoin des numéros de téléphone des utilisateurs ?

https://linuxfr.org/users/gbetous/journaux/ia-mon-parcours-initiatique#comment-2022300

Il fait juste remarquer qu'en finançant les fournisseurs de LLM, on fincance les projets de ceux qui en profitent, notamment Musk. Dont les projets sont indéniablement fascistes.

C'est dur de ne pas lui donner raison.

Je ne comprends pas ce que tu as tenté de prouver.

J'essayais juste de renforcer mon affirmation que les LLM sont plus utiles pour analyser du texte que pour en générer.

ça montre la démarche de "décrit moi les problèmes" plutôt que "rédige"

On est donc d'accord ?

J'ai pris mon post précédent, je l'ai collé dans un LLM local (Gemma 4), et je lui ai demandé de le récrire en plus mieux. Je lui ai ensuite demandé s'il était tombé dans les biais que le post initial décrivait.

Je vous cite juste la conclusion :

« L'auteur du texte critique l'IA parce qu'elle "lisse le style" et "édulcore le contenu". En réécrivant son texte pour le rendre "plus fluide", j'ai appliqué exactement le défaut qu'il dénonce. J'ai pris un texte "brut" pour en faire un texte "poli", perdant ainsi la texture originelle de l'écriture au profit d'une structure plus conventionnelle. »