Je suis sur que si t'utilise la logique et coherence dont tu vantes, tu vas arriver a la conclusion que dans un cas, le crime est commit précisément pour fournir les consommateurs d'images du crimes, et que dans l'autre, ben en fait pas du tout.
On est d'accord dans le cas de "vraies" photos d'actes de pédophilie. Il y a bien eu un crime pour produire ces images.
Mais dans le cas de dessins (mangas ou autres) il n'y a eu aucun crime à l'origine de la production de l'image non ?
Un couteau suisse et/ou un couteau non tranchant vont très bien pour couper le saucisson
Je peine à comprendre comment tu peux couper quelque chose avec un couteau qui n'est pas tranchant. La définition de "tranchant" c'est "qui peut couper" donc bon…
Je ne sais pas si tu es familier avec le monde des couteaux (moi oui, je suis un collectionneur) mais il n'y a aucune différence entre un couteau suisse (que tu sembles accepter) et un laguiole (que tu sembles rejeter). Ce sont tous les deux des couteaux de type "Cran forcé" (Slipjoint en anglais) qui ne verrouillent pas leur lame.
Et la différence ne se fait pas non plus sur la taille (il y a des laguioles et des couteaux suisses de toutes les tailles).
On peut éventuellement différencier entre un cran forcé (Victorinox et Laguiole) et un couteau qui peut verrouiller sa lame (Opinel et des tas d'autres marques avec des tonnes de systèmes de verrous différents).
Mais cela n'influe pas sur la dangerosité du couteau pour autrui. En fait le verrouillage est là pour augmenter la sécurité de l'utilisateur : pour éviter que la lame ne se referme inopinément sur ses doigts.
Donc ta distinction entre les "bons" couteaux suisses par oppositions aux "mauvais" laguioles et opinels est complètement spécieuse.
Le seul facteur qui me semble important pour évaluer la dangerosité c'est la longueur de la lame et c'est pour ça que la définition par le Bulletin officiel des Douanes d'un "couteau-poignard" incorpore la condition d'une lame d'au moins 15 cm.
Interdire aveuglément les couteaux plus petits ce serait stupide.
un peu d’honnêteté intellectuelle pour ne pas finir comme tous les morts aux USA au nom de la liberté de porter une arme car ce ne serait pas l'arme qui fait le tueur.
L'honnêteté intellectuelle cela consiste aussi à ne pas confondre le problème des armes à feux aux USA avec le problème du port des couteaux pliants en France. Une arme à feu c'est quand même conçu dès le début pour tuer en balançant un morceau de plomb à grande vitesse. Un couteau pliant c'est un outil versatile et multi-fonction qui sert à des centaines d'usages différents et qui n'est pas conçu pour tuer.
Cela fait des années que je collectionne des couteaux et c'est donc un sujet que je connais assez bien.
Rejeter sommairement et avec un jugement dépréciatif le lien vers l'article de Valeurs Actuelles (parce que tu n'es pas d'accord avec la ligne idéologique de ce journal) ne change rien au fait que cet article est globalement correct.
La loi qui régit le port de couteaux est un bordel innommable. Et en fait on devrait dire "les lois" puisque divers textes se chevauchent et se contredisent (la définition par la douane des "couteaux-poignards", le port sans motif d'une arme de catégorie D, etc etc).
Le résultat c'est que, pour un bête couteau pliant, tout se fait à la tête du client et à l'appréciation des forces de l'ordre. Les policiers peuvent sanctionner, verbaliser, confisquer ou pas selon leur bon plaisir.
L'article de Valeurs Actuelles est trop flou sur cette partie arbitraire de la sanction. Il fait mine de croire que la sanction est systématique quand, dans les faits, elle ne l'est pas.
Mais à part ce point (important) ce qui est écrit dans l'article est juste : QUAND LE POLICIER DÉCIDE DE SANCTIONNER alors ce port d'un "couteau" (avec incertitude juridique complète sur la définition de ce que c'est) va MAINTENANT faire l'objet d'une amende forfaitaire délictuelle (AFD) d'un montant de 500 euros et d'une inscription dans le casier judiciaire.
Oui c'est ça la pire désillusion de ces 20 dernières années.
Je pensais naïvement que l'accès libre pour tous de toute la connaissance du monde allait faire reculer les préjugés, les croyances absurdes, les haines cuites et recuites entre les différents groupes humains.
C'était en fait très con de ma part. Croire qu'une innovation technique, aussi gigantesque soit-elle, puisse ainsi changer la nature humaine.
Et je parle meme pas de la navigation sur smartphone ou en plus des cookies et rgpd, t'a une video qui se lance en arriere plan, un popup de pub en haut, une pub en bas qui clignote, et un au milieu qui bouge, il reste un petit carré de 5x5 pixels pour lire le texte.
Firefox for Android + uBlock Origin + I don't care about cookies
Je demande officiellement à la modération de bien vouloir examiner ton message que j'estime non seulement hostile mais insultant.
AMHA je ne vois aucune insulte dans le message auquel tu réponds.
Au contraire il me semble que son auteur a poliment essayé de faire passer son message: "sans vouloir te vexer ni te démotiver, s'il te plaît lève le pied".
Bien sûr sa demande de lever le pied n'engage que lui et tu peux en tenir compte ou pas après avoir lu ses arguments. Mais à part ça je ne vois rien à modérer ici.
Merci de ne pas faire semblant de ne pas comprendre.
Que le gouvernement se fixe des objectifs de déploiement de l'identité numérique, quoi de plus normal ?
Ma question porte sur ça : je n'ai rien trouvé sur l'illégalité de non possession de smartphone
CNI virtuelle sur smartphone pour 100% de la population française, aux désirs de M macron (et illégalité de non possession de smartphone) d'ici 2030 maxi. Une recherche vous sourcera :)
J'ai cherché mais je n'ai rien trouvé sur l'illégalité de non possession de smartphone. Tu as une source sérieuse ou bien c'est juste un fantasme complotiste ?
Un tableau de chiffres tu peux écrire ce que tu veux comme résultat alors que la capture d'écran c'est la "preuve irréfutable" que le gain est réel :-)
Non en fait ça m'a juste paru plus simple que de galérer avec la syntaxe markdown pour coller les résultats.
En fait on voit dans le mail de récap d'Herbert Xu (mainteneur officiel de la partie crypto du noyau) qu'il y a eu plusieurs commits cumulatifs d'Eric Biggers optimisant aes-xts :
crypto: x86/aes-xts - add AES-XTS assembly macro for modern CPUs
crypto: x86/aes-xts - wire up AESNI + AVX implementation
crypto: x86/aes-xts - wire up VAES + AVX2 implementation
crypto: x86/aes-xts - wire up VAES + AVX10/256 implementation
crypto: x86/aes-xts - wire up VAES + AVX10/512 implementation
crypto: x86/aes-xts - make non-AVX implementation use new glue code
crypto: x86/aes-xts - access round keys using single-byte offsets
crypto: x86/aes-xts - handle CTS encryption more efficiently
crypto: x86/aes-xts - handle AES-128 and AES-192 more efficiently
crypto: x86/aes-xts - eliminate a few more instructions
crypto: x86/aes-xts - optimize size of instructions operating on lengths
crypto: x86/aes-xts - simplify loop in xts_crypt_slowpath()
C'est quand même le truc de base à ne pas valider : rien en prod tant que ça n'a pas été testé hors prod
Dans mon entreprise CrowdStrike est installé sur les laptops des employés et personne n'a la main sur l'activation ou la désactivation des MAJ.
Inutile de te dire que ce matin il y avait la queue devant le bureau technique…
Dont acte. Il semble effectivement, selon ces articles, que CNews ne respecte pas vraiment l'équité même si les temps de paroles stricto sensu sont respectés.
En revanche je n'ai pas vu de réfutation sur la partie "les chaînes de service public qui favorisent LFI".
C'est justement le contraire ce qu'il se passe ici. Les chaînes Bolloré nous servent leur propagande sans aucun recul
Je ne regarde pas C8 ou CNews donc je ne peux pas évaluer ton affirmation.
En revanche, en ce qui concerne le respect des temps de parole pendant les campagnes électorales, j'avais vu passer ça à l'époque :
Même si Le Point et un magazine orienté politiquement l'article reprend les chiffres de l'ARCOM et ça semble montrer qu'au contraire CNews respecte mieux les temps de parole que les autres chaînes, en particulier les chaînes de service public qui favorisent LFI.
Si on additionne France Inter, France Info et France Culture, le parti de Jean-Luc Mélenchon a bénéficié d'un temps d'antenne de plus de 3 heures. Pour les chaînes de télévision (France 2, France 3, France 5 et France Info), le total monte à 4 h 40. En tout, près de 7 h 40 d'antenne contre, par exemple, moins de 3 heures pour Renaissance (le parti d'Emmanuel Macron) et 1 h 56 pour le Rassemblement national, les deux partis finalistes de la présidentielle.
Sur CNews, on respecte parfaitement le podium du premier tour : plus de 2 heures pour Renaissance, 1 h 50 pour le parti de Marine Le Pen et 1 h 45 pour les Insoumis. Les Républicains (1 h 11) et Reconquête ! (1 h 9) suivent.
Le principe d'un "État de droit" ne garantit en rien le respect des valeurs de la République
Si, parce que ces valeurs sont à portée constitutionnelle. La Déclaration des droits de l'homme et du citoyen fait partie du bloc de constitutionnalité.
Si le Droit change, si de nouvelles lois sont votées, on peut basculer vers le pire.
Bien sûr en théorie, mais l'idée c'est que pour changer ce qui est dans le bloc de constitutionnalité il faut bien plus qu'une simple majorité législative. Il faut une super-majorité des 3/5 du congrès (assemblée+sénat) ou bien un référendum avec approbation préalable du conseil constitutionnel.
Donc l'état de droit a quand même des garde-fous assez puissants.
Je suis fasciné par l'énergie qui a été investie dans ce problème, la passion qu'il a déchaînée, et le fait que la résolution fasse la une de Quanta Magazine (…) Pourquoi ? Parce que les valeurs exactes de la fonction castor affairé me paraissent parfaitement inintéressantes
Why care about determining particular values of the Busy Beaver function? Isn’t this just a recreational programming exercise, analogous to code golf, rather than serious mathematical research?
I like to answer that question with another question: why care about humans landing on the moon, or Mars? Those otherwise somewhat arbitrary goals, you might say, serve as a hard-to-fake gauge of human progress against the vastness of the cosmos. In the same way, the quest to determine the Busy Beaver numbers is one concrete measure of human progress against the vastness of the arithmetical cosmos, a vastness that we learned from Gödel and Turing won’t succumb to any fixed procedure. The Busy Beaver numbers are just … there, Platonically, as surely as 13 was prime long before the first caveman tried to arrange 13 rocks into a nontrivial rectangle and failed. And yet we might never know the sixth of these numbers and only today learned the fifth.
Cette dame semble en effet extrêmement mesurée et nuancée dans ses opinions. Pas du tout manichéenne:
Either you welcome marginalized people, or you welcome the people who want to keep them in the margins. You can't do both. Your options are to merge the PR that changes your habitual he to they, or become a nazi bar. There's nothing in between.
La démocratie n'est une garantie de rien du tout, elle ne signifie certainement pas qu'on est dans le "bon" camp (cf le dialogue Mélien).
Il vaut mieux être dans le camp de l’État de droit. C'est ça la vraie garantie contre les idées folles d'une majorité électorale.
Donc, ce changement bienvenu ne profiterait qu'aux vieux téléphones sans décodeur AV1 matériel
Après il suffit d'installer soi-même VLC sur son smartphone pour profiter dès maintenant de la bibliothèque libdav1d. C'est juste pour les pauvres malheureux qui n'utilisent pas VLC que cette (bonne) décision de Google va changer quelque chose.
[^] # Re: Ambivalence
Posté par patrick_g (site web personnel) . En réponse au journal Publication du "Stallman Report" 2024. Évalué à 10.
On est d'accord dans le cas de "vraies" photos d'actes de pédophilie. Il y a bien eu un crime pour produire ces images.
Mais dans le cas de dessins (mangas ou autres) il n'y a eu aucun crime à l'origine de la production de l'image non ?
[^] # Re: m'en fout, j'ai un Laguiole :p
Posté par patrick_g (site web personnel) . En réponse au lien Le port d’opinel désormais sanctionné de 500 euros d’amende et une inscription au casier judiciaire. Évalué à 10. Dernière modification le 21 octobre 2024 à 17:58.
Je peine à comprendre comment tu peux couper quelque chose avec un couteau qui n'est pas tranchant. La définition de "tranchant" c'est "qui peut couper" donc bon…
Je ne sais pas si tu es familier avec le monde des couteaux (moi oui, je suis un collectionneur) mais il n'y a aucune différence entre un couteau suisse (que tu sembles accepter) et un laguiole (que tu sembles rejeter). Ce sont tous les deux des couteaux de type "Cran forcé" (Slipjoint en anglais) qui ne verrouillent pas leur lame.
Et la différence ne se fait pas non plus sur la taille (il y a des laguioles et des couteaux suisses de toutes les tailles).
On peut éventuellement différencier entre un cran forcé (Victorinox et Laguiole) et un couteau qui peut verrouiller sa lame (Opinel et des tas d'autres marques avec des tonnes de systèmes de verrous différents).
Mais cela n'influe pas sur la dangerosité du couteau pour autrui. En fait le verrouillage est là pour augmenter la sécurité de l'utilisateur : pour éviter que la lame ne se referme inopinément sur ses doigts.
Donc ta distinction entre les "bons" couteaux suisses par oppositions aux "mauvais" laguioles et opinels est complètement spécieuse.
Le seul facteur qui me semble important pour évaluer la dangerosité c'est la longueur de la lame et c'est pour ça que la définition par le Bulletin officiel des Douanes d'un "couteau-poignard" incorpore la condition d'une lame d'au moins 15 cm.
Interdire aveuglément les couteaux plus petits ce serait stupide.
L'honnêteté intellectuelle cela consiste aussi à ne pas confondre le problème des armes à feux aux USA avec le problème du port des couteaux pliants en France. Une arme à feu c'est quand même conçu dès le début pour tuer en balançant un morceau de plomb à grande vitesse. Un couteau pliant c'est un outil versatile et multi-fonction qui sert à des centaines d'usages différents et qui n'est pas conçu pour tuer.
[^] # Re: "Valeurs actuelles" étant un média d'extrême-droite
Posté par patrick_g (site web personnel) . En réponse au lien Le port d’opinel désormais sanctionné de 500 euros d’amende et une inscription au casier judiciaire. Évalué à 10. Dernière modification le 21 octobre 2024 à 16:50.
Cela fait des années que je collectionne des couteaux et c'est donc un sujet que je connais assez bien.
Rejeter sommairement et avec un jugement dépréciatif le lien vers l'article de Valeurs Actuelles (parce que tu n'es pas d'accord avec la ligne idéologique de ce journal) ne change rien au fait que cet article est globalement correct.
La loi qui régit le port de couteaux est un bordel innommable. Et en fait on devrait dire "les lois" puisque divers textes se chevauchent et se contredisent (la définition par la douane des "couteaux-poignards", le port sans motif d'une arme de catégorie D, etc etc).
Le résultat c'est que, pour un bête couteau pliant, tout se fait à la tête du client et à l'appréciation des forces de l'ordre. Les policiers peuvent sanctionner, verbaliser, confisquer ou pas selon leur bon plaisir.
L'article de Valeurs Actuelles est trop flou sur cette partie arbitraire de la sanction. Il fait mine de croire que la sanction est systématique quand, dans les faits, elle ne l'est pas.
Mais à part ce point (important) ce qui est écrit dans l'article est juste : QUAND LE POLICIER DÉCIDE DE SANCTIONNER alors ce port d'un "couteau" (avec incertitude juridique complète sur la définition de ce que c'est) va MAINTENANT faire l'objet d'une amende forfaitaire délictuelle (AFD) d'un montant de 500 euros et d'une inscription dans le casier judiciaire.
Sur ce point l'article est factuel.
# TOTP
Posté par patrick_g (site web personnel) . En réponse au journal Bitwarden Authenticator, une application mobile libre pour vos TOTP. Évalué à 8.
Avec FreeOTP+ sous Android.
[^] # Re: Autre
Posté par patrick_g (site web personnel) . En réponse au sondage Quelle utopie des années 2000 vous manque le plus ?. Évalué à 10.
Oui c'est ça la pire désillusion de ces 20 dernières années.
Je pensais naïvement que l'accès libre pour tous de toute la connaissance du monde allait faire reculer les préjugés, les croyances absurdes, les haines cuites et recuites entre les différents groupes humains.
C'était en fait très con de ma part. Croire qu'une innovation technique, aussi gigantesque soit-elle, puisse ainsi changer la nature humaine.
[^] # Re: les sites sans popup
Posté par patrick_g (site web personnel) . En réponse au sondage Quelle utopie des années 2000 vous manque le plus ?. Évalué à 5.
Firefox for Android + uBlock Origin + I don't care about cookies
[^] # Re: -
Posté par patrick_g (site web personnel) . En réponse au lien pidgin et un malheureux plugin. Évalué à 7. Dernière modification le 07 octobre 2024 à 12:35.
Ah oui quand même ! Le niveau de vérification est carrément abyssal…
[^] # Re: Cookies Having Independent Partitioned State (CHIPS)
Posté par patrick_g (site web personnel) . En réponse au lien Avec Firefox 131, on va manger des CHIPS !. Évalué à 4.
La liste est accessible dans les liens en bas de page :
https://linuxfr.org/equipe
[^] # Re: Cookies Having Independent Partitioned State (CHIPS)
Posté par patrick_g (site web personnel) . En réponse au lien Avec Firefox 131, on va manger des CHIPS !. Évalué à 9.
AMHA je ne vois aucune insulte dans le message auquel tu réponds.
Au contraire il me semble que son auteur a poliment essayé de faire passer son message: "sans vouloir te vexer ni te démotiver, s'il te plaît lève le pied".
Bien sûr sa demande de lever le pied n'engage que lui et tu peux en tenir compte ou pas après avoir lu ses arguments. Mais à part ça je ne vois rien à modérer ici.
[^] # Re: Ha-ha!
Posté par patrick_g (site web personnel) . En réponse au lien Tout le monde doit avoir accès aux services essentiels sans passer par le numérique. Évalué à 9.
Merci de ne pas faire semblant de ne pas comprendre.
Que le gouvernement se fixe des objectifs de déploiement de l'identité numérique, quoi de plus normal ?
Ma question porte sur ça : je n'ai rien trouvé sur l'illégalité de non possession de smartphone
[^] # Re: Ha-ha!
Posté par patrick_g (site web personnel) . En réponse au lien Tout le monde doit avoir accès aux services essentiels sans passer par le numérique. Évalué à 10.
J'ai cherché mais je n'ai rien trouvé sur l'illégalité de non possession de smartphone. Tu as une source sérieuse ou bien c'est juste un fantasme complotiste ?
[^] # Re: Ajout de code en assembleur
Posté par patrick_g (site web personnel) . En réponse au journal AES-XTS dans le noyau Linux 6.10. Évalué à 5.
Je pense qu'il faut le support VAES (Vector AES) qu'on trouve dans le jeu d'instruction AVX-512.
[^] # Re: [HS] Pourquoi des captures d'écran?
Posté par patrick_g (site web personnel) . En réponse au journal AES-XTS dans le noyau Linux 6.10. Évalué à 10.
Un tableau de chiffres tu peux écrire ce que tu veux comme résultat alors que la capture d'écran c'est la "preuve irréfutable" que le gain est réel :-)
Non en fait ça m'a juste paru plus simple que de galérer avec la syntaxe markdown pour coller les résultats.
[^] # Re: Ajout de code en assembleur
Posté par patrick_g (site web personnel) . En réponse au journal AES-XTS dans le noyau Linux 6.10. Évalué à 6. Dernière modification le 24 juillet 2024 à 14:54.
En fait on voit dans le mail de récap d'Herbert Xu (mainteneur officiel de la partie crypto du noyau) qu'il y a eu plusieurs commits cumulatifs d'Eric Biggers optimisant aes-xts :
crypto: x86/aes-xts - add AES-XTS assembly macro for modern CPUs
crypto: x86/aes-xts - wire up AESNI + AVX implementation
crypto: x86/aes-xts - wire up VAES + AVX2 implementation
crypto: x86/aes-xts - wire up VAES + AVX10/256 implementation
crypto: x86/aes-xts - wire up VAES + AVX10/512 implementation
crypto: x86/aes-xts - make non-AVX implementation use new glue code
crypto: x86/aes-xts - access round keys using single-byte offsets
crypto: x86/aes-xts - handle CTS encryption more efficiently
crypto: x86/aes-xts - handle AES-128 and AES-192 more efficiently
crypto: x86/aes-xts - eliminate a few more instructions
crypto: x86/aes-xts - optimize size of instructions operating on lengths
crypto: x86/aes-xts - simplify loop in xts_crypt_slowpath()
[^] # Re: Mais pourquoi cette panne atteint-elle des serveurs de prod?
Posté par patrick_g (site web personnel) . En réponse au lien Une panne géante de Microsoft paralyse de nombreuses entreprises dans le monde. Évalué à 3.
Motus et bouche cousue :-)
[^] # Re: Mais pourquoi cette panne atteint-elle des serveurs de prod?
Posté par patrick_g (site web personnel) . En réponse au lien Une panne géante de Microsoft paralyse de nombreuses entreprises dans le monde. Évalué à 10. Dernière modification le 19 juillet 2024 à 16:53.
Dans mon entreprise CrowdStrike est installé sur les laptops des employés et personne n'a la main sur l'activation ou la désactivation des MAJ.
Inutile de te dire que ce matin il y avait la queue devant le bureau technique…
# Poids
Posté par patrick_g (site web personnel) . En réponse au sondage Lit-on plus vite sur papier ou sur écran ? . Évalué à 3.
Bizarre de mesurer le poids. D'habitude c'est en métrage linéaire qu'on mesure les bibliothèques non ?
Et 12 tonnes ça me semble vraiment beaucoup.
[^] # Re: Comment débattre sans différence ?
Posté par patrick_g (site web personnel) . En réponse au journal L'ARCOM va-t-elle virer Bolloré du PAF ?. Évalué à 7.
Dont acte. Il semble effectivement, selon ces articles, que CNews ne respecte pas vraiment l'équité même si les temps de paroles stricto sensu sont respectés.
En revanche je n'ai pas vu de réfutation sur la partie "les chaînes de service public qui favorisent LFI".
[^] # Re: Comment débattre sans différence ?
Posté par patrick_g (site web personnel) . En réponse au journal L'ARCOM va-t-elle virer Bolloré du PAF ?. Évalué à 6.
Je ne regarde pas C8 ou CNews donc je ne peux pas évaluer ton affirmation.
En revanche, en ce qui concerne le respect des temps de parole pendant les campagnes électorales, j'avais vu passer ça à l'époque :
https://www.lepoint.fr/politique/la-france-insoumise-chouchou-des-medias-les-chiffres-le-prouvent-21-05-2022-2476502_20.php
Même si Le Point et un magazine orienté politiquement l'article reprend les chiffres de l'ARCOM et ça semble montrer qu'au contraire CNews respecte mieux les temps de parole que les autres chaînes, en particulier les chaînes de service public qui favorisent LFI.
[^] # Re: Ça ne nous rajeunit pas
Posté par patrick_g (site web personnel) . En réponse au lien Démarrer Linux sans boot loader . Évalué à 3.
Je l'utilise et ça marche très bien. C'est beaucoup plus léger et minimaliste que cet énorme machin qu'est GRUB2.
[^] # Re: C'est pas moi, c'est l'autre.
Posté par patrick_g (site web personnel) . En réponse au lien Comment les fascistes et néonazis bâtissent la guerre civile. Évalué à 5. Dernière modification le 05 juillet 2024 à 21:34.
Si, parce que ces valeurs sont à portée constitutionnelle. La Déclaration des droits de l'homme et du citoyen fait partie du bloc de constitutionnalité.
Bien sûr en théorie, mais l'idée c'est que pour changer ce qui est dans le bloc de constitutionnalité il faut bien plus qu'une simple majorité législative. Il faut une super-majorité des 3/5 du congrès (assemblée+sénat) ou bien un référendum avec approbation préalable du conseil constitutionnel.
Donc l'état de droit a quand même des garde-fous assez puissants.
[^] # Re: L'œil amusé d'un théoricien
Posté par patrick_g (site web personnel) . En réponse au lien Des mathématiciens amateurs établissent une preuve du cinquième castor affairé. Évalué à 6.
A cette interrogation il n'y a pas de meilleure réponse que celle de Scott Aaronson :
Why care about determining particular values of the Busy Beaver function? Isn’t this just a recreational programming exercise, analogous to code golf, rather than serious mathematical research?
I like to answer that question with another question: why care about humans landing on the moon, or Mars? Those otherwise somewhat arbitrary goals, you might say, serve as a hard-to-fake gauge of human progress against the vastness of the cosmos. In the same way, the quest to determine the Busy Beaver numbers is one concrete measure of human progress against the vastness of the arithmetical cosmos, a vastness that we learned from Gödel and Turing won’t succumb to any fixed procedure. The Busy Beaver numbers are just … there, Platonically, as surely as 13 was prime long before the first caveman tried to arrange 13 rocks into a nontrivial rectangle and failed. And yet we might never know the sixth of these numbers and only today learned the fifth.
[^] # Re: Tout le monde aime le Milkshake Duck
Posté par patrick_g (site web personnel) . En réponse au lien Changement de gouvernance pour le navigateur indépendant Ladybird . Évalué à 10.
Cette dame semble en effet extrêmement mesurée et nuancée dans ses opinions. Pas du tout manichéenne:
Either you welcome marginalized people, or you welcome the people who want to keep them in the margins. You can't do both.
Your options are to merge the PR that changes your habitual he to they, or become a nazi bar.
There's nothing in between.
[^] # Re: C'est pas moi, c'est l'autre.
Posté par patrick_g (site web personnel) . En réponse au lien Comment les fascistes et néonazis bâtissent la guerre civile. Évalué à 6.
La démocratie n'est une garantie de rien du tout, elle ne signifie certainement pas qu'on est dans le "bon" camp (cf le dialogue Mélien).
Il vaut mieux être dans le camp de l’État de droit. C'est ça la vraie garantie contre les idées folles d'une majorité électorale.
[^] # Re: Pertinence encore incertaine pour les vieux matériels
Posté par patrick_g (site web personnel) . En réponse au lien Android remplace son décodeur AV1 par celui de Vlc. Évalué à 5.
Après il suffit d'installer soi-même VLC sur son smartphone pour profiter dès maintenant de la bibliothèque libdav1d. C'est juste pour les pauvres malheureux qui n'utilisent pas VLC que cette (bonne) décision de Google va changer quelque chose.