Bill a écrit un bouquin sur comment sauver le climat. Les journalistes passent leur temps à lui demander s'il ne faut pas changer nos modes de vie et il passe son temps à expliquer qu'il vaut mieux miser sur la technologie.
Au moins, c'est pas pire que les autres milliardaires qui veulent déployer des constellation de satellites.
Perso, j'aime beaucoup le bépo pour programmer. Notamment tous les () [] {} <> qui sont regroupés. Et aussi le fait que les chiffres soient accessibles via shift, ce qui libère les touches pour les symboles.
Perso, je regrette le prix des claviers orthogonaux et la difficulté pour en trouver.
Surtout qu'il n'y a plus aucune put… de raison d'avoir encore ces put… de touches décalées.
Tu aurais trouvé plus honnête qu'elles soient cachées?
Beaucoup de défenseurs de la chloroquine dénoncent également l'inefficacité du remdesivir, mais ils citent hcqmeta comme preuve de l'efficacité de la chloroquine uniquement. C'est ça que je ne trouve pas honnête.
Ce qui serait intéressant, c'est de savoir pourquoi tant d'études apparemment de qualité ont affirmé une chose fausse, et donc inciter à la prudence.
Comme je disais dans mon message précédent, beaucoup de ces études ne sont pas "de qualité" et beaucoup d'études n'affirment pas du tout ce que hcqmeta prétend leur faire affirmer.
le journaliste parle du site comme d'une méta-analyse alors que le site ne se présente pas comme tel
Si. C'est même dans le titre de la page HCQ du site : "HCQ is effective for COVID-19 when used early: real-time meta analysis of 192 studies" https://hcqmeta.com/
il continue en réfutant la validité de certains articles, mais rien n'est dit sur la qualité du journaliste à les réfuter,
La "qualité du journaliste à réfuter" c'est de savoir lire. Regarde les papiers et ce qui en est dit dans le site et tu verras que, dans de nombreux cas, ça ne correspond pas.
alors même qu'ils ont été revus par des pairs
Non, le site présente aussi des pre-prints ou papiers de revues prédatrices.
bien sûr rien n'est dit sur deux démarches d'honnêteté et de crédibilité du site
Oui s'ils disent qu'ils sont honnêtes, ce doit être vrai… L'auteur du "lancet-gate" aussi disait être honnête…
Et en parlant d'honnêteté, c19study/hcqmeta dit aussi que le remdesivir a un effet positif…
je constate simplement que les chercheurs d'une part et les médecins de l'autre (cf https://stopcovid19.today/) ne sont pas encore d'accord.
Ce sont deux métiers différents et justement, évaluer l'efficacité d'un médicament sur une maladie, c'est celui des chercheurs.
"Bref, cette fausse méta-analyse ne montre pas du tout ce qu’elle dit (que la plupart des recherches prouvent l’efficacité de la HCQ). Cependant, il y a plusieurs vraies méta-analyses sur le sujet, et elles arrivent toutes à des conclusions bien différentes à celle-là : le traitement à l’hydroxychloroquine n’est pas efficace contre le Covid-19 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12), et ce traitement (avec ou sans azithromycine) entraîne un plus grand risque d’effets indésirables (5, 6, 7, 12, 13, 14, 15, 16, 17, 18)."
Formidable. Merci pour cette explication de vocabulaire. Du coup, pensez à aller corriger la page wikipedia sur la memory-safety, car elle mentionne les memory leaks (https://en.wikipedia.org/wiki/Memory_safety).
Perso, j'arrête là; j'ai eu une réponse satisfaisante ici https://linuxfr.org/nodes/122732/comments/1835522 et ce que je retiens c'est surtout que dès que ça parle de Rust, il faut redoubler de méfiance.
Quand j'ai des calculs un peu bourrins à implémenter, une fuite mémoire c'est un crash assuré donc le résultat est à peu près le même qu'un dangling pointer.
Appelle ça "sécurité", "sûreté", "pas un problème de memory-safety" ou comme tu veux, pour moi c'est juste non.
Pour la bonne raison que les fuites mémoires ne posent pas de problème de memory safety .
Ah, effectivement, j'avais pas compris cela. Malheureusement, je ne vis pas dans le monde merveilleux de la mémoire infinie où les fuites mémoires ne sont pas un problème de sûreté. Merci pour ces explications bienveillantes.
Vu qu'on se sert principalement de langages à GC pour faire des services Web (Java/Python/PHP/Go…)
Quel rapport ? Ici, le sujet c'est Rust pour faire un OS.
Oui c'est moins sympa que l'image "ça corrige tous les problèmes mémoire" (ce qu'aucun langage même lent et haut niveau ne peut faire), mais c'est déjà pas mal.
Voilà c'est ça. Sauf que l'image elle vient peut-être aussi du fait que la memory-safety on nous la sert dès la page d'accueil de Rust alors que pour les fuites mémoires il faut aller en section 15.6 du manuel.
Merci mais je ne vois pas ce que les GC viennent faire ici. Le but d'un GC, c'est principalement d'apporter de la simplicité, pas forcément de la memory-safety.
Donc oui, je veux bien croire que Rust est génial pour gérer la mémoire dans un projet système développé par des pros mais apparemment ça ne vaccine pas des refontes pour corriger des problèmes mémoires. Ce n'est pas une critique, c'est juste que ça m'a surpris par rapport à l'image que j'avais de Rust, et visiblement je ne suis pas le seul dans ce cas.
"C/C++" ça n'existe pas. Des OS écrits en C++, il ne doit pas y en avoir beaucoup, à part Haiku.
Pour le gain de temps, Rust apporte un système de type différent et un modèle mémoire qui évite les double-free, use-after-free… A priori, c'est plutôt une question de projet (les fonctionnalités prévues, l'équipe de dev et ses compétences…) que de langage.
Une fuite mémoire c est quand tu consomme de la mémoire de manière iinutile.
Non, ça c'est juste une utilisation sous optimale de la mémoire.
Ce que Rust t empêche ou du moins fais bien c est t eviter de perdre toute référence à cette mémoire et donc t éviter de perdre cette mémoire de manière irréversible.
Voila, ça c'est une fuite mémoire. Et apparemment Rust ne garantie pas leur absence.
rmm, une réécriture complète du gestionnaire de mémoire du noyau. Cela a permis d'éliminer les fuites de mémoire du noyau, qui étaient devenues un problème avec le précédent gestionnaire de mémoire.
Loin de moi l'idée de troller mais je suis un peu surpris de lire ça vu qu'on nous présente souvent Rust comme "memory-safe". Il y a une discussion à ce sujet sur HN : https://news.ycombinator.com/item?id=25536248
Moi j'ai installé Manjaro avec btrfs sans me poser aucune question et aucune heure de recherche et ça a marché du premier coup (et je l'ai refait la semaine dernière sur un autre PC). Je sais, je suis un grand chanceux (et pas un expert).
Comme expliqué dans un commentaire précédent, ça fonctionne avec une table msdos mais pas en gpt (il faut faire le partitionnement manuellement avant). Mais si tu es si fort, tu aurais pu nous l'expliquer dans les commentaires des journaux précédents ou dans la dépêche qui est restée désespérément vide. Et tu aurais aussi pu nous expliquer comment faire des rollbacks automatiquement et comment les mettre dans le grub. Parce si mon serveur X crashs et que je ne sais utiliser timeshift qu'en mode graphique ça me fait une belle jambe d'avoir des snapshots.
C'est un joli travestissement des faits :-)
…
Je ne suis revenu à la charge plusieurs fois que parce que tu insistais pour avoir le dernier mot sur ce point particulier.
Merci pour l'info, j'en avais entendu parlé sur un forum Manjaro en préparant ce journal.
Mais je préfère rester sur NixOS où j'ai aussi, de base, ce genre de fonctionnalités, en plus de dizaines d'autres très pratiques. D'ailleurs c'est ce que j'ai dit dans mon journal précédent et je me suis fait pourrir par un fanboy Manjaro parce Manjaro c'est plus simple et on peut aussi faire des rollbacks automatiques accessibles au démarrage et blablabla. Du coup j'ai voulu vérifié et j'ai dû me débrouiller à faire des heures de tests et de recherche de doc pour en arriver à la "solution" présentée dans ce journal.
Donc bref je testerai peut-être Garuda à l'occasion mais là tout de suite je préfère m'intéresser à des distribs comme Guix voire Silverblue.
# TLDR
Posté par nokomprendo (site web personnel) . En réponse au lien Bill Gates, entretien exclusif pour La Terre au Carré. Évalué à 6.
Bill a écrit un bouquin sur comment sauver le climat. Les journalistes passent leur temps à lui demander s'il ne faut pas changer nos modes de vie et il passe son temps à expliquer qu'il vaut mieux miser sur la technologie.
Au moins, c'est pas pire que les autres milliardaires qui veulent déployer des constellation de satellites.
[^] # Re: Responsabilité
Posté par nokomprendo (site web personnel) . En réponse au journal La relation entre les logiciels libres et le Covid-19. Évalué à 10.
Surtout que c'est pas comme s'il ne savait pas : https://linuxfr.org/users/papap/journaux/toujours-pas-convaincus-par-l-hydroxychloroquine
[^] # Re: Pourquoi Rust ?
Posté par nokomprendo (site web personnel) . En réponse au lien Rewrite it in Rust : au delà du meme (Google finance la réécriture en Rust de certains logiciels lib. Évalué à 3.
Je pose ça là…
https://arxiv.org/pdf/2003.03296.pdf
https://internals.rust-lang.org/t/proposal-eliminate-wording-memory-safety-and-thread-safety/9416
[^] # Re: Programmation
Posté par nokomprendo (site web personnel) . En réponse au journal Ça y est!! Je suis passé au bépo…. Évalué à 8.
Perso, j'aime beaucoup le bépo pour programmer. Notamment tous les () [] {} <> qui sont regroupés. Et aussi le fait que les chiffres soient accessibles via shift, ce qui libère les touches pour les symboles.
[^] # Re: Félicitation !
Posté par nokomprendo (site web personnel) . En réponse au journal Ça y est!! Je suis passé au bépo…. Évalué à 10.
Perso, je regrette le prix des claviers orthogonaux et la difficulté pour en trouver.
Surtout qu'il n'y a plus aucune put… de raison d'avoir encore ces put… de touches décalées.
[^] # Re: manque de recul, manque de sens critique
Posté par nokomprendo (site web personnel) . En réponse au journal toujours pas convaincus par l'Hydroxychloroquine ?. Évalué à 4. Dernière modification le 18 janvier 2021 à 13:39.
Beaucoup de défenseurs de la chloroquine dénoncent également l'inefficacité du remdesivir, mais ils citent hcqmeta comme preuve de l'efficacité de la chloroquine uniquement. C'est ça que je ne trouve pas honnête.
Comme je disais dans mon message précédent, beaucoup de ces études ne sont pas "de qualité" et beaucoup d'études n'affirment pas du tout ce que hcqmeta prétend leur faire affirmer.
[^] # Re: manque de recul, manque de sens critique
Posté par nokomprendo (site web personnel) . En réponse au journal toujours pas convaincus par l'Hydroxychloroquine ?. Évalué à 8.
Si. C'est même dans le titre de la page HCQ du site : "HCQ is effective for COVID-19 when used early: real-time meta analysis of 192 studies" https://hcqmeta.com/
La "qualité du journaliste à réfuter" c'est de savoir lire. Regarde les papiers et ce qui en est dit dans le site et tu verras que, dans de nombreux cas, ça ne correspond pas.
Non, le site présente aussi des pre-prints ou papiers de revues prédatrices.
Oui s'ils disent qu'ils sont honnêtes, ce doit être vrai… L'auteur du "lancet-gate" aussi disait être honnête…
Et en parlant d'honnêteté, c19study/hcqmeta dit aussi que le remdesivir a un effet positif…
Ce sont deux métiers différents et justement, évaluer l'efficacité d'un médicament sur une maladie, c'est celui des chercheurs.
[^] # Re: manque de recul, manque de sens critique
Posté par nokomprendo (site web personnel) . En réponse au journal toujours pas convaincus par l'Hydroxychloroquine ?. Évalué à 6.
Les sites c19study et hcqmeta disent n'importe quoi.
https://www.sciencesetavenir.fr/sante/covid-19-quelle-est-la-meta-analyse-dont-parle-le-documentaire-mal-traites_150257
"Bref, cette fausse méta-analyse ne montre pas du tout ce qu’elle dit (que la plupart des recherches prouvent l’efficacité de la HCQ). Cependant, il y a plusieurs vraies méta-analyses sur le sujet, et elles arrivent toutes à des conclusions bien différentes à celle-là : le traitement à l’hydroxychloroquine n’est pas efficace contre le Covid-19 (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12), et ce traitement (avec ou sans azithromycine) entraîne un plus grand risque d’effets indésirables (5, 6, 7, 12, 13, 14, 15, 16, 17, 18)."
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 0.
Formidable. Merci pour cette explication de vocabulaire. Du coup, pensez à aller corriger la page wikipedia sur la memory-safety, car elle mentionne les memory leaks (https://en.wikipedia.org/wiki/Memory_safety).
Perso, j'arrête là; j'ai eu une réponse satisfaisante ici https://linuxfr.org/nodes/122732/comments/1835522 et ce que je retiens c'est surtout que dès que ça parle de Rust, il faut redoubler de méfiance.
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 0.
Quand j'ai des calculs un peu bourrins à implémenter, une fuite mémoire c'est un crash assuré donc le résultat est à peu près le même qu'un dangling pointer.
Appelle ça "sécurité", "sûreté", "pas un problème de memory-safety" ou comme tu veux, pour moi c'est juste non.
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à -2.
Ah, effectivement, j'avais pas compris cela. Malheureusement, je ne vis pas dans le monde merveilleux de la mémoire infinie où les fuites mémoires ne sont pas un problème de sûreté. Merci pour ces explications bienveillantes.
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 0.
Quel rapport ? Ici, le sujet c'est Rust pour faire un OS.
Voilà c'est ça. Sauf que l'image elle vient peut-être aussi du fait que la memory-safety on nous la sert dès la page d'accueil de Rust alors que pour les fuites mémoires il faut aller en section 15.6 du manuel.
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 0.
Merci mais je ne vois pas ce que les GC viennent faire ici. Le but d'un GC, c'est principalement d'apporter de la simplicité, pas forcément de la memory-safety.
Donc oui, je veux bien croire que Rust est génial pour gérer la mémoire dans un projet système développé par des pros mais apparemment ça ne vaccine pas des refontes pour corriger des problèmes mémoires. Ce n'est pas une critique, c'est juste que ça m'a surpris par rapport à l'image que j'avais de Rust, et visiblement je ne suis pas le seul dans ce cas.
[^] # Re: Vitesse de développement par rapport au C/C++
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 3.
"C/C++" ça n'existe pas. Des OS écrits en C++, il ne doit pas y en avoir beaucoup, à part Haiku.
Pour le gain de temps, Rust apporte un système de type différent et un modèle mémoire qui évite les double-free, use-after-free… A priori, c'est plutôt une question de projet (les fonctionnalités prévues, l'équipe de dev et ses compétences…) que de langage.
[^] # Re: Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 2.
Non, ça c'est juste une utilisation sous optimale de la mémoire.
Voila, ça c'est une fuite mémoire. Et apparemment Rust ne garantie pas leur absence.
# Des fuites mémoires en Rust ?
Posté par nokomprendo (site web personnel) . En réponse au journal Sortie de Redox OS 0.6.0. Évalué à 2.
Loin de moi l'idée de troller mais je suis un peu surpris de lire ça vu qu'on nous présente souvent Rust comme "memory-safe". Il y a une discussion à ce sujet sur HN : https://news.ycombinator.com/item?id=25536248
[^] # Re: c'est vraiment la caractéristique numéro 1 ?
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 6.
C'est ce que fait Minix 3 : commencé en 2005, micro-noyau, recodé de zéro. Et il fait tourner les paquets NetBSD.
[^] # Re: Pas de pilotes...
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 3.
Merci pour l'info. Perso, je ne connais pas bien le sujet mais j'essaierai d'y regarder.
[^] # Re: Pas de pilotes...
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 5.
Oui, si j'ai bien compris, c'est ce que font les unikernels comme MirageOS.
[^] # Re: Note pour les futurs webmester Redoxfr.org
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 8.
Heu non, Hurd c'est juste un noyau. Et le projet a débuté avant le projet Linux.
[^] # Re: c'est vraiment la caractéristique numéro 1 ?
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 10.
Heu non, Openbsd c'est du noyau monolithique. Tu dois confondre avec Hurd ou Minix.
# c'est vraiment la caractéristique numéro 1 ?
Posté par nokomprendo (site web personnel) . En réponse à la dépêche Redox OS, le prochain système d’exploitation à conquérir le monde ?. Évalué à 10.
Désolé de paraitre si négatif mais à mon avis ça décrédibilise vraiment le propos quand le point numéro 1 d'un projet c'est d'être "écrit en RUST"
# ça redonnerait presque foi en l'humanité...
Posté par nokomprendo (site web personnel) . En réponse au lien Wikipédia, exemplaire sur le covid-19 - franceinter. Évalué à 3.
le lien en question : https://www.conspiracywatch.info/covid-19-wikipedia-fait-figure-dilot-de-rationalite-dans-un-ocean-de-rumeurs.html
[^] # Re: Simplifie-toi la vie avec Garuda Linux
Posté par nokomprendo (site web personnel) . En réponse au journal Les rollbacks avec Manjaro, Btrs et Timeshift. Évalué à 3.
Comme expliqué dans un commentaire précédent, ça fonctionne avec une table msdos mais pas en gpt (il faut faire le partitionnement manuellement avant). Mais si tu es si fort, tu aurais pu nous l'expliquer dans les commentaires des journaux précédents ou dans la dépêche qui est restée désespérément vide. Et tu aurais aussi pu nous expliquer comment faire des rollbacks automatiquement et comment les mettre dans le grub. Parce si mon serveur X crashs et que je ne sais utiliser timeshift qu'en mode graphique ça me fait une belle jambe d'avoir des snapshots.
Mes commentaires :
https://linuxfr.org/nodes/122330/comments/1831284
https://linuxfr.org/nodes/122330/comments/1831319
https://linuxfr.org/nodes/122330/comments/1831461
https://linuxfr.org/nodes/122330/comments/1831473
https://linuxfr.org/nodes/122330/comments/1831479
https://linuxfr.org/nodes/122330/comments/1831615
Les tiens:
https://linuxfr.org/nodes/122330/comments/1831248
https://linuxfr.org/nodes/122330/comments/1831306
https://linuxfr.org/nodes/122330/comments/1831321
https://linuxfr.org/nodes/122330/comments/1831434
https://linuxfr.org/nodes/122330/comments/1831307
https://linuxfr.org/nodes/122330/comments/1831366
https://linuxfr.org/nodes/122330/comments/1831436
https://linuxfr.org/nodes/122330/comments/1831438
https://linuxfr.org/nodes/122330/comments/1831475
https://linuxfr.org/nodes/122330/comments/1831544
https://linuxfr.org/nodes/122330/comments/1831776
Chacun se fera une idée.
[^] # Re: Simplifie-toi la vie avec Garuda Linux
Posté par nokomprendo (site web personnel) . En réponse au journal Les rollbacks avec Manjaro, Btrs et Timeshift. Évalué à 5.
Merci pour l'info, j'en avais entendu parlé sur un forum Manjaro en préparant ce journal.
Mais je préfère rester sur NixOS où j'ai aussi, de base, ce genre de fonctionnalités, en plus de dizaines d'autres très pratiques. D'ailleurs c'est ce que j'ai dit dans mon journal précédent et je me suis fait pourrir par un fanboy Manjaro parce Manjaro c'est plus simple et on peut aussi faire des rollbacks automatiques accessibles au démarrage et blablabla. Du coup j'ai voulu vérifié et j'ai dû me débrouiller à faire des heures de tests et de recherche de doc pour en arriver à la "solution" présentée dans ce journal.
Donc bref je testerai peut-être Garuda à l'occasion mais là tout de suite je préfère m'intéresser à des distribs comme Guix voire Silverblue.