This is particularly exciting because there is no known complete V4 image, although some artifacts (including the complete manual sources) are known to exist. V4 was the first version of Unix with a C kernel (for which partial sources are known).
Reste à la lire. Quelqu'un s'est proposé sur Mastodon, il a le matériel.
Dans tous les cas, il ne faut pas être impoli avec les algorithmes. Être impoli, c'est pareil qu'être poli, ça présuppose qu'il y a quelqu'un dedans.
Je pense qu'il faut s'exprimer d'une façon neutre. Par exemple, poser la question (comme on la poserait sur le papier) sans s'adresser à quelqu'un (qui n'existe pas). Ou utiliser des verbes à l'infinitif : "Chercher ceci cela" comme on le ferait en pseudo-code. Ca fonctionne avec ChatGPT.
Ca demande un effort puisque les développeurs essaient de nous embarquer dans leur imitation game : ChatGPT tantôt me vouvoie, tantôt me tutoie, ce qui a tendance à m'entraîner à faire de même. Mais en fait personne ne me tutoie ou vouvoie et il n'y a personne que je puisse tutoyer ou vouvoyer, ni même insulter. Personne dans la coquille.
On a encore le choix d'utiliser ou non l'outil, probablement de moins en moins car il va s'infiltrer progressivement dans de plus en plus d'interfaces. Mais on peut refuser d'entrer dans le jeu des développeurs, qui en terme de santé mentale me semble discutable. Quitte éventuellement à obtenir des résultats un peu moins bon.
Merci pour ce journal, je réfléchissais justement aujourd'hui au complémentaire : à la façon dont il faut s'adresser à ChatGPT & Co. On peut être poli : "Peux-tu faire ceci cela ?" (demande), "Je voudrais" (conditionnel), "Merci" (formule de politesse), etc. Ou on peut-être plus rude, lui donner des ordres : "Cherche ceci cela, fais ceci cela". Mais utiliser l'impératif est déjà problématique puisqu'on est toujours en train d'oublier qu'on a affaire à une machine.
Exit donc la deuxième personne du singulier, puisqu'il n'y a personne. S'il faut faire des phrases parce que l'outil a besoin de phrases comme point de départ, alors il faut simplement poser des questions : "Quel est le meilleur site en français consacré à Linux et aux logiciels libres ?" Il ne faut s'adresser à personne (au sens d'être vivant, oui je parle à mon chat et je continuerai de le faire).
A enseigner aux étudiants pour qu'ils prennent soin de leur santé mentale dans le monde qui vient.
Je me demande si avec -O2 et -O3 le programme recalcule vraiment la fonction récursive. La fonction fibonacci(n) est toujours appelée avec la même valeur n en argument et renvoie toujours la même valeur. Si l'optimiseur est capable de voir ça, il peut décider de supprimer les appels inutiles (un seul suffit !).
C'est juste une idée, mais j'ai déjà eu des problèmes similaires en essayant de faire des benchmarks simples en Fortran, avec optimisation -O3.
J'ai également pensé à une suppression de la récursivité en la transformant en une boucle.
Je vais en parler à un développeur de GFortran pour essayer d'en savoir plus. Sachant que GFortran est basé sur GCC et que pour cet exemple on a pour le Fortran et le C la même option -O3, ça serait du côté du front-end Fortran qu'il se passerait des choses…
Fortran se défend bien. Mais je me pose des questions sur le test "Naïve Fibonacci". Je ne vois pas pourquoi Fortran serait 50 fois plus rapide que le C et tout autre langage. En général, Fortran a une vitesse similaire à celle de C et C++.
Super, tiens-nous au courant de tes progrès. Il faut y aller tranquillement, ne pas se laisser décourager. Il y a plein de petits obstacles et de choses à apprendre, y compris sous Windows pour réussir à obtenir une clé d'installation bootable.
Oui, du coup les SSD semblent très fiables. Avec maintenant un recul de près de 15 ans, je n'ai jamais eu un SSD qui a lâché. Alors que j'ai encore un disque dur de 2 To qui m'a lâché cette année (clic-clic-clic…). Ca m'arrive au moins une fois tous les cinq ans.
A nuancer quand même puisque j'ai eu des "petits" SSD pour mes systèmes (de 128 à 512 Go), alors que pour les gros stockages j'ai des disques durs de typiquement 2 To. Donc ma comparaison n'est pas à taille identique (il y a différentes technologies de RAM pour les SSD).
Effectivement, j'ai remarqué que sous Debian il faut mettre le -lm après le nom du fichier à compiler, sinon ça ne marche pas.
Je vois que le man de gcc dit :
It makes a difference where in the command you write this option; the linker searches and processes libraries and object files in the order they are specified. Thus, foo.o -lz bar.o searches library z after file foo.o but before bar.o. If bar.o refers to functions in z, those functions may not be loaded.
Mais ça n'explique pas pourquoi la position de -l aurait un effet différent dans d'autres distributions.
Avec un Core i5 et 8 Go, ton portable est reparti pour 10 ans (sauf panne matérielle !). Ce qui peut être bien, c'est de tester d'abord le système en liveUSB pour vérifier que le matériel est bien pris en charge (en particulier carte graphique et wi-fi). Puis de lancer l'installation après.
Perso, je remplacerais le disque dur TOSHIBA par un disque SSD (~30 € pour 256 Go). Ça joue beaucoup sur le "rajeunissement" du PC au niveau vitesse, ça le booste à peu de frais. Éventuellement tu pourras le faire plus tard si tu en sens le besoin.
Ils récupèrent, vérifient et réinstallent des ordinateurs pour des familles, des écoles et des associations. Une promesse simple, une méthode rigoureuse, un effet direct sur l’inclusion numérique.
Ca dépend peut-être de la localisation ?
Mais effectivement, aujourd'hui le premier lien n'est plus derrière paywall, contrairement à hier soir.
Le panda roux, originaire des forêts de l’Himalaya et du sud-ouest de la Chine, est classé comme espèce en danger. Selon les estimations, la population sauvage a chuté de près de 40 % au cours des 50 dernières années. Et d’ici 30 ans, elle pourrait encore diminuer de 10 % en raison de la déforestation et du braconnage.
Mais le grand écart dans les chiffres m'étonne, avec dans le premier article ~2,5 % au niveau mondial et dans le second 19 % en France (sur le Desktop dans les deux cas).
Maintenu par Red Hat et signé avec une clé Microsoft, Shim sert à ajouter la prise en charge du Secure Boot sur les machines avec de l'UEFI. En principe, le Secure Boot est là pour renforcer la sécurité de la machine en évitant que du code malveillant puisse être exécuté pendant le processus de démarrage.
Tu peux essayer d'aller dans le BIOS UEFI et désactiver le Secure Boot pour voir si Linux démarre ensuite.
Si tu viens juste de l'installer, tu peux aussi réessayer une installation en regardant bien les messages relatifs au Secure Boot.
Dans tous les cas, tu peux donner plus d'informations pour qu'on puisse t'aider ici : en particulier modèle du PC portable et distribution Linux utilisée (Ubuntu 24.04 ?).
# Premier Unix avec un Kernel en C
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Une bande magnétique avec Unix V4 retrouvée à l'université de l'Utah. Évalué à 6.
Reste à la lire. Quelqu'un s'est proposé sur Mastodon, il a le matériel.
[^] # Re: no body
Posté par vmagnin (site web personnel, Mastodon) . En réponse au journal Écouter parler l’ia. Évalué à 5. Dernière modification le 07 novembre 2025 à 14:18.
Dans tous les cas, il ne faut pas être impoli avec les algorithmes. Être impoli, c'est pareil qu'être poli, ça présuppose qu'il y a quelqu'un dedans.
Je pense qu'il faut s'exprimer d'une façon neutre. Par exemple, poser la question (comme on la poserait sur le papier) sans s'adresser à quelqu'un (qui n'existe pas). Ou utiliser des verbes à l'infinitif : "Chercher ceci cela" comme on le ferait en pseudo-code. Ca fonctionne avec ChatGPT.
Ca demande un effort puisque les développeurs essaient de nous embarquer dans leur imitation game : ChatGPT tantôt me vouvoie, tantôt me tutoie, ce qui a tendance à m'entraîner à faire de même. Mais en fait personne ne me tutoie ou vouvoie et il n'y a personne que je puisse tutoyer ou vouvoyer, ni même insulter. Personne dans la coquille.
On a encore le choix d'utiliser ou non l'outil, probablement de moins en moins car il va s'infiltrer progressivement dans de plus en plus d'interfaces. Mais on peut refuser d'entrer dans le jeu des développeurs, qui en terme de santé mentale me semble discutable. Quitte éventuellement à obtenir des résultats un peu moins bon.
# no body
Posté par vmagnin (site web personnel, Mastodon) . En réponse au journal Écouter parler l’ia. Évalué à 6. Dernière modification le 06 novembre 2025 à 18:29.
Merci pour ce journal, je réfléchissais justement aujourd'hui au complémentaire : à la façon dont il faut s'adresser à ChatGPT & Co. On peut être poli : "Peux-tu faire ceci cela ?" (demande), "Je voudrais" (conditionnel), "Merci" (formule de politesse), etc. Ou on peut-être plus rude, lui donner des ordres : "Cherche ceci cela, fais ceci cela". Mais utiliser l'impératif est déjà problématique puisqu'on est toujours en train d'oublier qu'on a affaire à une machine.
Exit donc la deuxième personne du singulier, puisqu'il n'y a personne. S'il faut faire des phrases parce que l'outil a besoin de phrases comme point de départ, alors il faut simplement poser des questions : "Quel est le meilleur site en français consacré à Linux et aux logiciels libres ?" Il ne faut s'adresser à personne (au sens d'être vivant, oui je parle à mon chat et je continuerai de le faire).
A enseigner aux étudiants pour qu'ils prennent soin de leur santé mentale dans le monde qui vient.
[^] # Re: Fibo
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Language performance . Évalué à 2. Dernière modification le 04 novembre 2025 à 21:44.
Je me demande si avec
-O2et-O3le programme recalcule vraiment la fonction récursive. La fonctionfibonacci(n)est toujours appelée avec la même valeur n en argument et renvoie toujours la même valeur. Si l'optimiseur est capable de voir ça, il peut décider de supprimer les appels inutiles (un seul suffit !).C'est juste une idée, mais j'ai déjà eu des problèmes similaires en essayant de faire des benchmarks simples en Fortran, avec optimisation
-O3.[^] # Re: Fibo
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Language performance . Évalué à 3. Dernière modification le 04 novembre 2025 à 18:43.
J'ai également pensé à une suppression de la récursivité en la transformant en une boucle.
Je vais en parler à un développeur de GFortran pour essayer d'en savoir plus. Sachant que GFortran est basé sur GCC et que pour cet exemple on a pour le Fortran et le C la même option
-O3, ça serait du côté du front-end Fortran qu'il se passerait des choses…[^] # Re: Do One Thing and Do It Well
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Free software scares normal people. Évalué à 3.
Dans GNOME, le visualiseur s'appelle
loupe:https://flathub.org/en/apps/org.gnome.Loupe
Il est très très simple et permet de "croper", de pivoter et retourner une image.
J'aime de plus en plus les logiciels GNOME car ils sont vraiment pensés en terme d'ergonomie et de simplicité. Et c'est du libre !
# Fibo
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Language performance . Évalué à 7. Dernière modification le 03 novembre 2025 à 22:18.
Fortran se défend bien. Mais je me pose des questions sur le test "Naïve Fibonacci". Je ne vois pas pourquoi Fortran serait 50 fois plus rapide que le C et tout autre langage. En général, Fortran a une vitesse similaire à celle de C et C++.
On a juste une fonction récursive :
https://github.com/bddicken/languages/blob/main/fibonacci/fortran/fibonacci.f90
Est-ce que le compilateur lui réserverait une optimisation spéciale ? Bizarre… Je vais évoquer le sujet sur le Fortran Discourse.
[^] # Re: En vidéo
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message Besoin d'aide pour migration Linux (1ere installation). Évalué à 3.
Super, tiens-nous au courant de tes progrès. Il faut y aller tranquillement, ne pas se laisser décourager. Il y a plein de petits obstacles et de choses à apprendre, y compris sous Windows pour réussir à obtenir une clé d'installation bootable.
[^] # Re: shait parti !
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message Besoin d'aide pour migration Linux (1ere installation). Évalué à 2. Dernière modification le 03 novembre 2025 à 18:42.
Oui, du coup les SSD semblent très fiables. Avec maintenant un recul de près de 15 ans, je n'ai jamais eu un SSD qui a lâché. Alors que j'ai encore un disque dur de 2 To qui m'a lâché cette année (clic-clic-clic…). Ca m'arrive au moins une fois tous les cinq ans.
A nuancer quand même puisque j'ai eu des "petits" SSD pour mes systèmes (de 128 à 512 Go), alors que pour les gros stockages j'ai des disques durs de typiquement 2 To. Donc ma comparaison n'est pas à taille identique (il y a différentes technologies de RAM pour les SSD).
# Bonne question...
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message ordre des arguments de cc. Évalué à 4.
Effectivement, j'ai remarqué que sous Debian il faut mettre le
-lmaprès le nom du fichier à compiler, sinon ça ne marche pas.Je vois que le man de gcc dit :
Mais ça n'explique pas pourquoi la position de
-laurait un effet différent dans d'autres distributions.# hplip
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message installation imprimante. Évalué à 3.
Si ton imprimante HP n'est pas reconnue automatiquement, tu peux essayer d'installer HPLIP (HP Linux Imaging and Printing) :
https://forums.linuxmint.com/viewtopic.php?t=419028
# shait parti !
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message Besoin d'aide pour migration Linux (1ere installation). Évalué à 5.
Pour les SHA256 sous Windows j'ai trouvé cette page :
https://lecrabeinfo.net/tutoriels/verifier-integrite-calculer-empreinte-checksum-md5-sha1-sha256-fichier-windows/
Avec un Core i5 et 8 Go, ton portable est reparti pour 10 ans (sauf panne matérielle !). Ce qui peut être bien, c'est de tester d'abord le système en liveUSB pour vérifier que le matériel est bien pris en charge (en particulier carte graphique et wi-fi). Puis de lancer l'installation après.
Perso, je remplacerais le disque dur TOSHIBA par un disque SSD (~30 € pour 256 Go). Ça joue beaucoup sur le "rajeunissement" du PC au niveau vitesse, ça le booste à peu de frais. Éventuellement tu pourras le faire plus tard si tu en sens le besoin.
# Petit mais costaud
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Les ordis du coeur : "donner une seconde vie aux ordinateurs, changer des vies". Évalué à 6.
On en parle dans LinuxFr.org, le 8 mai 2000 :
https://linuxfr.org/news/les-ordis-du-coeurs
# Zataz
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Les ordis du coeur : "donner une seconde vie aux ordinateurs, changer des vies". Évalué à 4.
https://www.lesordisducoeur.org/
# Merci
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien « 70 % du cloud est contrôlé par 3 entreprises américaines », entretien avec Meredith Whittaker. Évalué à 2.
Merci, analyse intéressante.
[^] # Re: sans paywall
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Firefox.... Évalué à 2.
Ca dépend peut-être de la localisation ?
Mais effectivement, aujourd'hui le premier lien n'est plus derrière paywall, contrairement à hier soir.
Idem pour Firefox :
https://www.blogdumoderateur.com/chute-firefox-symbole-web-existe-presque-plus/
Encore que, en France, l'espèce serait moins en danger sur le Desktop :
https://www.agence-churchill.fr/blog/part-de-marche-navigateur/
Mais le grand écart dans les chiffres m'étonne, avec dans le premier article ~2,5 % au niveau mondial et dans le second 19 % en France (sur le Desktop dans les deux cas).
# sans paywall
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Firefox.... Évalué à 4.
Autre article sur le choupignon, accessible intégralement :
https://actu.fr/hauts-de-france/lille_59350/le-bebe-panda-roux-ne-au-zoo-de-lille-a-besoin-de-vous-votez-pour-choisir-son-futur-prenom_63382388.html
[^] # Re: Secure Boot
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message installation linux sur PC portable. Évalué à 3. Dernière modification le 31 octobre 2025 à 21:56.
Oui, essayez de redémarrer sans la clé USB, pour être sûr que ça boote bien sur le système qui a été installé sur le disque de l'ordinateur.
Il n'y a pas d'âge, c'est bien de tenter l'aventure Linux ! Pour Ubuntu, il y a une communauté avec une bonne entraide : https://forum.ubuntu-fr.org/
# Secure Boot
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message installation linux sur PC portable. Évalué à 2.
Bonjour Papat51,
apparemment c'est un problème de Secure Boot :
https://www.it-connect.fr/linux-faille-de-critique-corrigee-bootloader-shim/
Tu peux essayer d'aller dans le BIOS UEFI et désactiver le Secure Boot pour voir si Linux démarre ensuite.
Si tu viens juste de l'installer, tu peux aussi réessayer une installation en regardant bien les messages relatifs au Secure Boot.
Dans tous les cas, tu peux donner plus d'informations pour qu'on puisse t'aider ici : en particulier modèle du PC portable et distribution Linux utilisée (Ubuntu 24.04 ?).
# TurboSync ?
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message banques qui fonctionnent avec Linux?. Évalué à 4.
Oui, l'important c'est le navigateur, pas l'OS. A moins que tu ne parles du greffon Turbo Sync : https://suiteconnect.credit-cooperatif.coop/Account/AideLogin?type=NAVIGATEURS
qui effectivement n'est disponible que sous Windows ?
# In French
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Meta dévisse en bourse à cause de ses dépenses liées à l'IA. Évalué à 3.
https://www.lesechos.fr/tech-medias/hightech/meta-plonge-en-bourse-wall-street-sinquiete-de-ses-ambitions-demesurees-dans-lia-2195724
[^] # Re: Dissonance cognitive
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Tesla a raté plus d’un million de ventes à cause d’Elon Musk. Évalué à 5.
Même s'il arrive à en lancer dans l'espace cinq par Starship, ça va quand même nécessiter beaucoup de lancements…
[^] # Re: Dissonance cognitive
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Tesla a raté plus d’un million de ventes à cause d’Elon Musk. Évalué à 3. Dernière modification le 30 octobre 2025 à 16:27.
Effectivement, c'est un outil-ouoque :
# Meta plonge en Bourse : Wall Street s'inquiète de ses ambitions démesurées dans l'IA
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Tristan Nitot : Pourquoi les investisseurs font-ils de l'IA une bulle ?. Évalué à 2.
https://www.lesechos.fr/tech-medias/hightech/meta-plonge-en-bourse-wall-street-sinquiete-de-ses-ambitions-demesurees-dans-lia-2195724
[^] # Re: Garantie contre les vices cachés ?
Posté par vmagnin (site web personnel, Mastodon) . En réponse au lien Une prime pour démerdifier un réfrigérateur Samsung. Évalué à 10.
Contre les vices cachés, une seule solution : un cache vissé.
En espérant que les publicités ne sont pas sonores, comme sur certaines pompes à essence…