Sufflope a écrit 3182 commentaires

apt install openssh-server ou équivalent c'était trop compliqué, donc pour faire plus simple je réimplémente SSH ? Si la page Wikipedia pour NIH avait besoin d'une illustration, elle est servie.

Ce n'est pas du tout ce que j'ai écrit dans mon commentaire.

Maintenir une version d'OpenSSH à jour et sécurisée sur un serveur distant était une tâche au-dessus de mes compétences en administration système, et du temps que nous pouvions passer à l'administration. En fait, j'ai commencé par écrire un binding Rust vers la partie serveur de libssh. Au bout de 5000 lignes de bindings, de cheveux arrachés à lire leur code C (la doc n'existe presque pas), et toujours pas de serveur en vue, j'ai craqué.

Non tu n'as jamais écrit ça, ostensiblement. Moi aussi je trouve plus simple d'écrire 5000 lignes de code (orienté crypto qui plus est…) que d'installer le serveur OpenSSH packagé par ma distrib qui fournit une config maintenue et sécurisée. En plus quand je comprends pas l'install et la config de 50 lignes d'un serveur, il est évident que je ferai mieux en l'écrivant moi-même…

Je n'ai pas vu à quel moment il a été fait mention d'un concept mathématique relativement avancé en termes profanes.

Non bien sûr, les graphes orientés c'est du bon sens populaire, l'autre jour j'en parlais avec ma boulangère. Elle m'a d'ailleurs dit "oublie pas d'étiqueter les arêtes sinon c'est un peu trop simple".

les deux graphes colorés un peu différents

D'accord je vois certains cas où le comportement de git peut différer suivant la stratégie choisie. Ce sont des symptômes de "n'importe quoi as a process". J'ai essayé de l'illustrer avec du "vrai code" avec mon histoire de validation d'utilisateur (pas terrible mais mieux que vos exemples soit sans code tout court (intéressant pour un gestionnaire de sources) soit avec des exemples encore moins réalistes et spécialement conçus dans votre sens pour que les parties en conflit aient exactement la même apparence, pour qu'on puisse les confondre alors que rien ne permet à priori de supposer qu'elles seront identiques) et la conclusion qu'on m'a livrée c'est "ah bah là pijul arrête aussi de bosser en disant qu'il y a conflit".

Si ça te fait mal de te taper sur le tibia avec une serpette, est-ce que vraiment la bonne solution c'est de la remplacer par une serpette en mousse ?

dans tous les cas on arrivera sur le même état Q

Premièrement : dans un cas "réel" l'auteur a été obligé d'admettre que pijul n'arrivera nul part, qu'il abandonnera en déclarant un conflit. Deuxièmement : encore heureux, si pijul décidait tout seul quoi faire, il pourrait aboutir à un arbre de sources qui ne compile pas…

là où, par construction, elle est automatiquement satisfaite dans pijul

Non. Cf. point précédent. Ou alors pour mon code de gestion d'utilisateurs, donne-moi le code final automatiquement produit (indice : il est indécidable (ça devrait te plaire comme mot)).

Outre cette propriété d'associativité des patchs, il y en a une autre fort utile : celle qui cherche à capter l'essence de fonctionnalités orthogonales ou indépendantes. Si, dans un commit, je modifie une partie d'un fichier, puis dans le commit suivant j'en modifie une autre qui n'a rien à voir : peu importe l'ordre dans lequel je les réalise, on devrait aboutir au même résultat.

Je veux pas te provoquer de douleur psychique à base de dissonance cognitive, mais, breaking news, dans ce cas de figure (modifications non colocalisées) git fera la même chose !

Les guides de bonnes pratiques expliquent également comment obtenir une telle chose en git

Non, tu ne les as pas compris. Cf. argument précédent : si deux patchs ne se recouvrent pas "géographiquement" ils sont interchangeables.

Ça va faire très argument d'autorité, mais je bosse avec git depuis bientôt 10 ans, et il semble que je sois gâté par la nature sur ce point, ou que j'ai la même topologie neuronale que Linus, car même mes collègues très intelligents se tournent vers moi quand il faut "un guru git" et je suis extrêmement à l'aise avec. Ça n'est pas un argument pro-git (au contraire, à la limite…), c'est pour dire que si tu veux attaquer git avec des exemples, muscle ton jeu, car sortir des contre-vérités évidentes comme ça ne t'aide pas.

---

La problématique de fiabiliser la production logicielle m'intéresse réellement. C'est le fait de pouvoir y prendre une bonne part dans ma nouvelle boite, qui m'a fait accepter ce poste. Je suis un fan de git, mais si concrètement pijul apporte de vraies avancées, j'en parlerai au boulot ! Néanmoins, pour l'instant je vois :

• des approximations voire des contre-vérités sur git

Certaines par toi que je viens de pointer, certaines par un des auteurs de pijul même, pointées par d'autres ailleurs dans les commentaires.

• des grands discours faux dans la réalité du travail de développeur

OK c'est super que pijul ait une théorie lui permettant de toujours produire un résultat déterministe au lieu de lâcher l'affaire ou de diverger; sauf que tu oublies un petit détail : je m'en fous que pijul ait une théorie lui garantissant de toujours être un endomorphisme de "l'ensemble des combinaisons de chaines de caractère" (les "sources") et donc de ne jamais être indéterminé (aucun résultat) ou une distribution (plusieurs "ordonnées" pour une abscisse), car dans le monde réel nous ne travaillons pas sur "l'ensemble des combinaisons de chaines de caractère" mais "l'ensemble des combinaisons de chaines de caractère ayant un sens" (que ce soit un sens du point de vue du compilateur, ou pire du point de vue de leur but métier, c'est-à-dire qu'il faut qu'elles compilent mais en plus qu'elles fassent ce qu'on voulait exprimer).

Et ça pijul ne le garantit évidemment pas, puisqu'il ne parle pas tous les langages de programmation / de balisage / les langues du monde (si on décide de versionner un manuscrit par exemple), et n'a encore moins conscience des specs du code. Je pense l'avoir illustré par mon exemple de fonction de récupération d'utilisateur. Je ne changerai pas d'avis tant qu'on ne m'aura pas prouvé que pijul résout le problème.

Indice avant que tu t'échines pour rien : l'auteur de pijul a dit qu'il fera comme git, qu'il s'arrêtera sur un conflit (merde c'est pas un endomorphisme défini sur tout l'ensemble des "trucs à versionner" alors ?? :-( ), alors c'est pas avec tes petits graphiques sans contenu que tu y arriveras.

C'est quoi le rapport entre le nombre de release par jour et le dépôt de version ? C'est git qui crée les paquets .deb/.rpm / construit les images Docker maintenant ? Première nouvelle.

Ah et oui un VCS c'est pas forcément idéal pour versionner des .psd de 500Mo, no shit Sherlock, heureusement que la nullité de git nous l'a appris !

Hé la modération, comment on vous signale un compte à plonker ?

Cordialement,
Col. Abbot.

Tu la joues à la de Gaulle, quand les flics refusent de taper sur les étudiants tu ressuscites les CRS. Pas besoin de cerveau qui pourrait faire basculer dans l'autre camp, une moelle épinière pour gérer des mouvements-réflexes pré-appris suffit. Par contre si on en arrive au point où les CRS refusent de cogner, j'ai peur de ce que le gouvernement trouvera à la place.

Jamais prétendu que c’était inutile, je me demande juste si d’autres connaissances/compétences/horizons, plus appliquées, comme connaître le fonctionnement d’une banque ou de la bourse, ne serait pas devenu plus utile pour les gamins de nos jours.

C'est marrant parce que, si j'ai bien compris la pique qu'on t'a adressée ailleurs dans les commentaires, tu es, disons, plutôt "bien à gauche".

Et là, en pensant à bien j'imagine, t'es en train d'arriver à la conclusion que le mieux, c'est que les pauvres apprennent à gérer leur budget royal de 1200€/mois, ça leur évitera d'avoir des soucis pour payer la banque parce qu'ils ont osé vouloir avoir des loisirs ou ouvrir leurs enfants à la culture ; plutôt que leur permettre de faire ça sans se demander s'ils pourront encore bouffer après.

En toute bonne foi.

La droite libérale a gagné le combat des esprits (du tien en tout cas) :-(

elle inclut les individus d'un revenu allant de 1 200 € à 3 000 € par mois

C'est vraiment ridicule comme définition. Avec 3000€ nets par mois, si t'as des soucis d'argent (hors vraie galère exceptionnelle évidemment, dans laquelle "mes vacances d'un mois au Japon ont couté plus cher que prévu" ne figure pas) c'est que t'es vraiment un putain de glandu, avec 1200€/mois je comprends que tu bouffes des antidépresseurs…

Dommage qu'ils aient coulé…

… mais la flèche est en haut, la croix en bas. arf.

Oui, c'est inacceptable car discriminant envers les hommes atteints de problèmes d'érection. Enfin, pardon, les cisgenres masculins post-modernes qui bandent mou, quoi.

pourquoi ne pas proposer des Droits de la vie

D'accord mais à partir de combien de semaines ?

je ne miserai pas un kopek sur le succès de cette initiative

Bah dans certains milieux ça part pas mal. Un paquet d'articles techniques de gens intéressants que je lis sont pollués par ces trucs qui cassent totalement ma lecture. Enfin que je lisais, parce qu'en général je laisse tomber, pas le temps de me concentrer et lire lentement pour pallier ces conneries.

Au temps pour moi, je me suis arrêté à Java 6 mais c'est vrai dans les versions suivantes ils ont bien bûché à copier Scala :-P

Alors désolé de t'en rajouter une couche, mais aux deux dimensions "fort - faible" et "statique - dynamique" tu peux en ajouter une troisième : la qualité de l'inférence.

Par exemple Scala est fortement et statiquement typé, mais infère beaucoup de choses, là ou Java infère que dalle.

Pour finir une petite touche de méchanceté gratuite et assumée (l'apanage des sysadmins :) )
sur une machine devant tourner 24/24 7/7 tu préféres : 10 scripts java ou 10 scripts shell …

Si tu dois tourner 24/7 désolé mais Java (et encore mieux Scala, mais bon je reste dans tes choix).
Plus le typage est fort moins tu as de risque de surprise à l'éxecution, donc shell est presque le pire choix.

Les smartphones ne sont plus des machines avec les contraintes de l'embarqué et du minimalisme absolu.

Sur les contraintes physiques (typiquement la compatibilité électromagnétique), si. Sur les grandeurs "simples" telles que la quantité de RAM, tu as raison, clairement non, en tout cas les modèles pour occidentaux raisonnablement aisés. Sur les aspects intermédiaires, à voir. Genre, le surcoût en RAM de systemd (et franchement j'attends de le voir parce que dans le genre fantasme…) non, mais son surcoût en terme de cycles CPU et donc de drain de batterie ?

En l'absence d'étude contradictoire il me semble quand même que le pet passif est moins nocif que le tabagisme passif.

Pour ce qui est d'enfumer sur demande, il suffit d'adopter une hygiène de vie où, tel Karadoc, tu dois péter sans discontinuer.

C'est très intéressant mais je ne vois pas trop ce que peuvent faire les restrictions de Google pour avoir le droit d'utiliser Play sur un sous-fil où on cherche à ne pas utiliser Play.

Et puis c'est marrant sur un site qui sort KISS à tout bout de champ de voir comme critique d'un OS qu'il n'a pas de client de courriel ou lecteur de vidéos.

On ne cherche pas forcément ce qu'on fait le plus (cette représentation est plus utile pour les tiers qui veulent savoir les trucs dont tu parles le plus, donc bien dans un blog, mais pas pour soi).

Ca tombe bien, j'ai en gros jamais vu ça ailleurs que sur des blogs (ou sites corporate ou… enfin bon, blog d'un tiers en gros).

Combien de fois j'ai cherché des trucs et je me dis, c'est quoi comme tag que j'ai mis? J'en essaie 2 ou 3 avant de trouver le bon.

Mais, euh, quand tu les as mis dans des dossiers, par quelle magie te souviens-tu du nom du dossier (et de son chemin…) mieux que de celui d'un tag ?…

j'ai pas besoin de mémoriser le titre du classeur. Je sais qu'il est placé vers la droite de mon armoire, je lis 2 ou 3 titres

Parce que tu n'as que 5-6 classeurs. Limite-toi à 5-6 tags et…

(logiciels libres, logiciel libre, free software, FOSS, FLOSS… autant de variantes que je pourrais utiliser!)

Et tu pourras mettre un article dans ton dossier FLOSS alors que tu as un dossier FOSS, je vois pas la différence. Et tu pars du principe que le système de tagging (qui remplacerait, en plus simple niveau UI qui plus est, un sélecteur de fichier) ne t'aiderait absolument pas. Il y a plusieurs degrés d'"intelligence" (proposer FLOSS quand tu as tapé le F ; proposer FLOSS par proximité quand tu as tapé FOSS ; proposer FLOSS quand tu as tapé "logiciel libre" par des heuristiques dispos dans le moindre projet pourribidon d'"IA" sur github…) pour te faciliter la vie encore mieux que Dolphin.

Franchement j'arrête là, je vois pas l'intérêt de continuer. Tu es très courtois et même ouvert en théorie à l'idée des tags, mais je sais pas pourquoi (enfin j'ai une idée) tu ne veux surtout pas avoir tort et lâcher ton système dont presque plus personne ne veut (je pense pas être un fanboy des GAFA si on se renseigne un peu, pourtant je te contredit sur ce point…) donc je vais arrêter d'insister avant que ça devienne trop lourd.

Ta classification manuelle à base de dossiers est juste un sous-ensemble restreint de ce qu'il est possible de faire avec des tags, tu peux le retourner comme tu veux. Sur l'immaturité de la classification automatique, je suis d'accord. Mais quand tu mets toi-même ta photo dans le répertoire "Noël", met-lui le tag à la main, c'est encore plus simple (pas la peine d'aller chercher le répertoire dans le sélecteur de fichier, tu tapes direct "Noël") et en plus tu pourras même mettre d'autres tags.

Ah oui super pratique, au lieu d'une appli de gestion de fichier multimédia où je tag "tatie Janine" et "La Baule" je claque du ln -s euh dans quel ordre déjà.

On passera sur la super suggestion de lien symbolique donc quand je veux supprimer ma photo, suivant par où je suis entré pour la trouver, soit je la "détag" en supprimant le lien, soit je la supprime pour de bon (et je pète les liens).

Non vraiment, changez rien, je vois déjà Apple et Google frissonner.

Mais au final tagger pour recherche ultérieure ou sauver avec un nom de fichier et dans un répertoire donné, quelle différence?

n dimensions vs. une dimension. Ma facture Paypal pour mon achat d'un téléphone, je la mets dans le dossier Paypal avec tous mes paiements Paypal ou dans mon dossier Téléphonie avec les factures d'opérateurs etc. ?

Et puis pour retrouver la photo que tu cherches, avec ton explorateur de fichier sur ton téléphone, au lieu de scroll la galerie en te souvenant "mmmh ça doit être après", tu vas… scroll en regardant les "IMG_2017_06_blah.jpg" et… bah tu vas te dire "mmmh ça devait être après", et tu liras même pas les noms de fichiers en fait, puisque regarder les miniatures sera bien plus parlant. Tu viens de revenir au point de départ.

Ou alors tes images ne s'appellent pas "IMG_date.jpg" mais "Voyage-Bali-avec-beaux-parents-012.jpg", mais par quelle magie ? Je doute que ton appareil photo le fasse tout seul. Donc tu les as renommées à la main. Bravo tu viens de réinventer les tags en moins bien. Tu peux mettre des tags au lieu de renommer les fichiers, en tapant les mêmes mots, et revenir au soft de galerie au lieu de l'explorateur.

Après quand tu es au chômage tu es libre de les utiliser pour partir en vacances ou rester chez toi pour augmenter ton revenu temporairement.

Non, le paiement du chômage commence à la fin de la consommation de ton solde de tout compte. Si tu pars avec 3 semaines de CP non pris, tu commenceras à toucher le chômage dans 3 semaines (enfin dans 3 semaines de plus que la date standard, déjà repoussée par les carences etc).

Les seuls ordis sans bouton ImpEcr que j'ai vus sont ceux d'Apple. Je sens qu'on va apprendre un truc sacrément intéressant sur Albert_.

Euh je ne savais pas que GIMP faisait "preneur de capture d'écran". J'ai juste appuyé sur le bouton PrtScr de mon portable.