Marotte ⛧ a écrit 8780 commentaires

https://fr.wikipedia.org/wiki/Assistant_de_preuve

Une objection à l'usage d'assistants de preuve est que, de toute façon, la sécurité des preuves obtenues repose sur le bon fonctionnement de l'assistant. En effet, les assistants de preuves sont de gros logiciels complexes, dont on peut soupçonner qu'ils soient eux-mêmes bugués.

C’est un cercle sans fin.

Encore une fois les maths c'est une exactitude qui a engendrée l'informatique

L’informatique se base sur les maths mais aussi sur la physique ;)

Les premiers "bugs" ("insectes" en anglais) de l’histoire de l’informatique était dû à des phénomènes physiques, biologiques même… De véritables insectes (moucherons, etc…) venaient se foutre sur les circuits, qui étaient bien moins miniaturisés qu’aujourd’hui, et faisaient ainsi dysfonctionner la machine.

tout le monde(presque) me tomberai dessus et j'aurais pu imaginer que ça parte en troll comme ça !!! Je dois reconnaitre que ça me perturbe un peu

Ne te fais pas trop de soucis, tu es déjà moins péremptoire dans ce dernier commentaire… Personne ne t’en voudra d’avoir été maladroit et d’avoir dit des conneries si tu évolues, dans le bon sens…

Prends soin de ton orthographe, tu fais beaucoup de fautes… Une qui choque particulièrement ici c’est "LENA"… c’est L’ENA (L’École Nationale d’Administration)

Peu etre que c'est du à la trop grande diversité de langage disponible sachant qu'avec le c et l'assembleur on fait beaucoup e chose certe c'est fastidieu mais on y arrive, je me trompe ?

Non. C’est dû au fait que l’informatique et les ordinateurs ont été créés par l’Homme et comme on a coutume de dire : « L’erreur est humaine »

considérés comme nos Roms. Des parasites.

Belle mentalité.

Je présente dès à présent mes plus plates excuses à tous ceux qui se seront sentis visés par le terme « pénible ». Vous êtes pénibles.

Je dirais… certains oui, beaucoup non.

Pour moi aussi c’est un ressenti, donc sujet à caution. J’ai parfois cette impression sur certains journaux de débutant, ou dans les entrées de forum.

Cela dit c’est quelque chose qui ne me viendrait pas à l’esprit de faire moi-même. C’est vraiment triste de s’ « amuser à embêter » les autres… Donc si je veux rester positif il faut que je me dise que c’est une personne sincère mais ou maladroite ou plus jeune ou que sais-je encore…

Je mets de côté les pénibles, pleins de ressources mais pas forcément nombreux non plus, qui tentent d’insérer au chausse-pied leur sempiternel sujet(s) de prédilection dans toute les conversations. Je parle bien des :

« bonjour! WINDAUBE sapu je veux installer Ubuntu Pear Edition Deluxe 42 pour hack da world mais ça boot pas HELP!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ».

Ceux-là sont parfois tellement caricaturaux que ça me colle un doute… c’est comme ça… voilà… j’y peux rien… Puis après tout ce n’est pas grave, j’essaie de répondre en pensant à tous ceux qui liront derrière, pas seulement à celui auquel je réponds…

Debian, la reine des distributions.

Ce serait pas : PubkeyAcceptedKeyTypes=+ssh-dsa+ssh-rsa ou un truc du genre ?

Tu peux essayer avec PubkeyAcceptedKeyTypes=+ssh-rsa et une paire de clés RSA ?

En fait il est très sérieux.

J’ai toujours un doute… entre le jeune ado, voire gamin, et le gros troll bien gras qui le fait exprès…

Tu fais chier avec ton pipotron, j’ai relu cinq fois la phrase pour essayer de comprendre ;) Bon, du coup j’ai fini par pipotroner aussi /o\

Nique Lapalisse !

L’informatique a entraîné et justifié les massacres de nombreuses populations ?

Tu pourrais me donner un exemple ? Je ne vois absolument pas à quoi tu fais référence.

Le relative légèreté de ton propos me surprend.

Dans l’hypothèse d’une fragilité ambiante déclinante, les précautions expérimentales qui s’imposent à la majorité, tendent à accroître les signaux faibles renvoyés par les dispositifs nodaux. Comme chacun sait.

des fond de pensions qui sont actionnaire rarement des individus

Derrière un fond de pension il y a des individus hein…

Tu confonds libre et non-commercial. Si ça peut te rassurer, tu es loin d’être le seul… malheureusement.

Des tas d’entreprises, commerciales, font du libre. Pour en citer quelques unes : Intel, RedHat, Google…

Dis-toi bien que si Linux était resté un passe-temps d’étudiant, voire un truc confidentiel développé par une douzaine de barbus dans leur garage, tu ne serais même pas en train de l’utiliser… C’est exactement la même chose pour FreeBSD…

Le libre a besoin des deux. Du volontariat de la communauté comme de l’entreprenariat de sociétés privées.

Alors pitié… arrête de tout mélanger… c’est à cause de gens comme toi que pas mal de décideurs pensent encore que le logiciel libre est un truc anti-capitaliste :(

Moi aussi cela m’arrive d’affirmer un truc dont je suis pas sûr, pour qu’on me corrige le cas échéant… Mais il ne faut pas en abuser ! C’est très vite hyper-relou pour les autres…

Si comme tu le dis tu cherches à parfaire ta connaissance du libre et de l’informatique en général, utilise la voie normale : pose des questions, tout simplement…

J’ai trouvé ça : https://superuser.com/questions/1016989/ssh-dsa-keys-no-longer-work-for-password-less-authentication?lq=1 ça date d’il y a deux ans, sur Fedora 23…

Je suis vraiment pas spécialiste mais, d’après le lien :

1. La syntaxe de l’option devrait avoir cette forme : PubkeyAcceptedKeyTypes=+ssh-dss (bon ici c’est dss… mais peut-être que pour toi ce serait =+ssh-dsa) ?

2. Je vais peut-être dire une ânerie mais il me semble qu’en plus de ta paire de clés utilisateur ton serveur SSH a une paire de clés d’hôte (/etc/ssh/ssh_host_*_key.*). Du coup si c’est par exemple une clé RSA qui est utilisée, il faut probablement que pour l’option PubkeyAcceptedKeyTypes tu indiques les deux types (RSA et DSA) ?

:)

Je suis obligé de te poser la question : es-tu bien chaussé ?

Je connais le chemin…

Si jamais vous remarquez, sur votre compte bancaire, qu’un prélèvement frauduleux est passé, vous avez 13 mois à compter de la date de passage de ce prélèvement pour le contester auprès de votre banque. Dans ce cas, la banque vous demandera probablement de signer une attestation sur l’honneur que vous n’avez pas signé de mandat pour ce prélèvement. Le remboursement des sommes fraudées par la banque doit se faire en intégralité et sans dépôt de plainte préalable de votre part, dans les 10 jours ouvrables suivant la réception de votre demande, sauf si la banque peut dans ce même délai justifier du fait que vous avez réellement signé le mandat de prélèvement.

C’est la banque qui doit pouvoir justifier de la régularité du prélèvement, pas le créancier. En fait tu m’expliques que la banque ne demande le mandat au créancier qu’en cas de contestation du client ?

Tu me files le doute, je vais appeler ma banque pour tirer ça au clair, cette histoire de liste blanche…

A aucun moment la banque n'a même vérifié que le nom du débiteur correspondait au moins vaguement au nom du compte, ou même au nom d'une des personnes ayant autorité sur le compte.

Ma banque me fait un coup comme ça je la quitte.

Bah même pas… c’est 1985 pour la FSF…

https://fr.wikipedia.org/wiki/Free_Software_Foundation
https://www.fsf.org/about/history.html

Alors soit tu es très mal informé soit tu le fais exprès…

Dans le premier cas : vérifie tes informations avant de les diffuser
Dans le deuxième cas : va te faire…

Merci pour le lien. Il est écrit :

Avec le prélèvement SEPA, vous n’avez plus à signer et à donner d’autorisation de prélèvement à votre banque pour que le paiement d’un fournisseur (d’eau, de téléphone, d’électricité, etc.) soit réalisé : il vous suffit de signer le mandat de prélèvement et de l’envoyer au fournisseur en question accompagné d’un relevé d’identité bancaire (RIB). C’est le prestataire qui s’occupe de la mise en place du prélèvement, et qui conserve le mandat de prélèvement.

Il est toujours nécessaire de signer un mandat de prélèvement. Ce qui change c’est que tu l’adresses au créancier au lieu de l’adresser à ta banque.

Donc :

tout prélèvement est autorisé et tu as 8 semaines pour contester/bloquer un mandataire

est faux. Un tiers (hors Trésor Public) doit posséder un mandat de prélèvement signé de ta main pour procéder à un prélèvement. Encore heureux…

la GPL étant née en 1983

À toute fin utile : https://fr.wikipedia.org/wiki/Licence_publique_g%C3%A9n%C3%A9rale_GNU#Son_histoire

J’hésite toujours pour la traduction de ce mot là…

Mais « connard » me paraît mieux pour traduire "asshole".

Il me semble que "asshole" est assez péjoratif et vulgaire en anglais, plus que ne peut l’être « trou-du-cul » en français, qui est tout de même une insulte assez châtiée de nos jours…

En anglais je lis parfois "asshat" comme forme moins vulgaire de "asshole"…

Est-ce que ça fait pareil avec une clé RSA ?

Skipping ssh-dss key /home/moi/.ssh/id_dsa - not in PubkeyAcceptedKeyTypes

Sinon il doit falloir ajouter DSA aux types de clé acceptés. C’est peut-être dans le fichier sshd_config que ça se configure… là comme ça je ne sais pas.

Perso en lisant, sans même relever une faute, mon cerveau a compris "où". J’ai même plussé le premier commentaire car ça me semblait pertinent…

Je pense que la confusion vient du fait que tu commences une phrase avec "Ou". On commence souvent des phrases par "Où", "Quand", "Comment", etc… mais rarement par une conjonction de coordination.

J’ai moi-même bien du mal à ne pas commencer une phrase par "Et", pourtant, souvent, il semble plus simple de vouloir coordonner deux phrases courtes plutôt que deux propositions d’une phrase plus longue…

Quelque soit le logiciel maveillant il ne peux rentrer dans un système que si il y a des failles donc pas de failles pas de logiciels malveillants et une faille est une malfaçon sauf si elle est volontaire

Un logiciel sans faille ça n’existe pas.

une faille est une malfaçon sauf si elle est volontaire

Je suis curieux de connaître le terme que tu emploierais pour désigner une faille volontaire…

Tu es en train de dire que le cancer existait avant la GPL ?

« De mon temps, on appelait les trolls des connards ! »

Pour reprendre un point qui a été abordé dans le journal à l’origine de la dépêche, ce sont les programmes de vente des licences d’utilisation pour ces brevets qui prennent fin, pas les brevets eux-mêmes :/

voire et voir ne vienne effectivement pas du même mot latin mais ne devrait-on pas laisser cette faute devenir la règle ?

Dans cette phrase :

Fedora aurait du mettre son repository en Europe, voir dans les locaux du Fraunhofer Institut ;-)

On peut remplacer "voir", pas des verbes comme : penser, imaginer, visualiser…

Autrement dit, qu’on écrive dans ce cas précis "voire", ou "voir", ça veut dire la même chose. Ça simplifierait la langue, qu’on puisse écrire "voir", puisse que ça ne peut pas avoir un autre sens… qu’en pensez vous ?