barmic 🦦 a écrit 5214 commentaires

Après en C si tu as vraiment envie tu as toujours moyen de contourner ces limitations, mais là on tombe plus dans le programmeur qui veut faire n'importe quoi de manière pathologique qu'autre chose.

Oui enfin ça s'appelle un buffer overflow si je ne m'abuse, ça fait beaucoup de porteurs dans les locuteurs, non ?

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Au passage : MC/DC c'est seulement pour le niveau A de la DO178B (j'en ai fait 12 ans, c'est sur mes souvenirs). Pour niveau B et C la couverture complète suffit.

Le niveau B demande une couverture de décision ce qui est déjà au delà d'énormément de projets.
Le niveau C ne demande "que" une couverture de 100% des lignes.
À noter que les niveaux inférieurs sont fait pour de très faibles criticités (je le dis pour ceux qui lisent pas particulièrement pour toi).

À noter que même ça ne fait pas tout, Boeing a sorti de la qualité logiciel vraiment pas terrible (que ce soit pour le 737 max ou en aérospacial où la NASA a fini par faire leur propre audit de tout ce qu'a sorti Boeing).

Mais j'ai la faiblesse de partir du principe que les règles de codage sont respectées.

Oui enfin il existe des règles de codage pour empêcher les buffer overflow et il ne se passe pas plus de quelques jours sans qu'une nouvelle CVE en parle.

Et encore une fois, si tu as un code bien architecturé c'est facile à montrer en analyse statique du code (le seul accès à ta structure est effectivement via la fonction d'accès).

Il faut écrire une nouvelle règle pour chaque structure. C'est pas lourdingue ?

Encore une fois, les bouquins sur l'art de bien programmer en xxx ou avec le paradigme yyy sont aussi épais que ceux pour le C, donc je reste dubitatif sur le fait que ça facilite au final le boulot global d'écriture.

Pas sûr que cette métrique ai du sens.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

C'est ce qu'on fait en avionique par exemple

Alors en avionique[^1] ils testent avec une couverture complète MC/DC, ça ne permet pas de garantir que tu ne fais pas de modification directe, mais ça assure que ce n'est pas grave si tu le fait. Avoir ça dans le langage permet de s'assurer de cette propriété bien plus facilement.

De la même façon que tu peut écrire un code multithread correct dans n'importe quel langage, mais que rust permet de s'assurer plus facilement que tu ne fais pas trop n'importe quoi.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Je suis curieux de savoir s'il y a un moyen d'assurer l'encapsulation.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Quand on regarde la définition de haut niveau des objets : Ces objets ont un état interne et un comportement, qui leur permet d’interagir entre eux on voit très bien que c'est ce qu'on fait depuis toujours avec un langage fonctionnel (C pour ma part), en ayant une architecture/conception rigoureuse (et pas un plat de spaghetti).

Il me semble que tu ne peux pas garantir que l'état d'un objet (une structure j'imagine ?) soit cohérent. Si par exemple tu veut un objet qui représente une intervalle représenté par la valeur basse et la valeur haute (ouvert ou fermé ne change pas mon explication), tu aimerais pouvoir garantir que la borne basse est effectivement toujours plus petite que la borne haute. Ce genre d'invariant est garanti par l'immutabilité dans les langages fonctionnels et en objet par l'encapsulation (et tu vérifie à chaque modification que l'objet continue de respecter l'invariant). En C je ne vois pas comment tu fait. Ça n'est pas un sujet théorique.

Je peux complètement passer à côté de quelque chose au sujet de comment tu fais et tu pourra me rétorqué avec raison que des langages comme python cassent ce principe ce qui est vrai.

Alors certes un langage Objet facilitera ce travail, mais en théorie seulement quand je vois le nombre d'articles (et de bouquins) destinés à bien architecturer/concevoir les objets.

Ce n'est pas parce qu'il n'y a pas de silver bullet que tout est identique. Tout langage turing complet sera en mesure de produire une usine à gaz, est-ce que pour autant le shell, le C et l'haskell sont identique ?

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

J'ai du mal à ne pas raccrocher ça à :

Ceux qui ont pris tout le plat dans leur assiette, laissant les assiettes des autres vides, et qui ayant tout disent avec une bonne figure « Nous qui avons tout, nous sommes pour la paix ! », je sais ce que je dois leur crier à ceux-là : les premiers violents, les provocateurs, c’est vous !

Mais c'est bien sûr à René Dumont qu'il faut penser, il a théorisé tout ça dans les années 50-60.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Il semble qu'il ne se trompe pas de combat, puisqu'il ne se bat pas. Il ne présente pas une vision du web, il ne parle pas des problèmes des autres navigateurs,… Il a juste envi d'en faire un donc il en fait un.

Il semble qu'il a travaillé pour Apple et Nokia sur webkit. Il sait mieux que moi dans quoi il s'embarque.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Le mot « terrorisme » est attesté pour la première fois en novembre 1794, il désigne alors la « doctrine des partisans de la Terreur »

Terrorisme (je pointe Wikipedia parce qu'il a plusieurs sources)

Pour Robespierre je ne suis pas spécialiste, mais de ma lecture de Jean-Clément Martin "Robespierre : la fabrication d'un monstre" j'ai compris que s'il a été décrit comme l'artisan de la terreur à son procès, il était autant impliqué que ses confrères. Il a juste servi de bouc émissaire au moment où ils ont voulu y mettre un terme. S'il ne faut pas le dépeindre comme un monstre, il n'est pas propre pour autant. Je l'ai cité lui par simplicité et ma tournure qui se voulait dire qu'il était là parmi d'autres ne fonctionne pas si bien à la relecture.

Maintenant ta condescendance tu peux te la garder, je dois imaginer ce qui ne t'a pas plu dans mon commentaire. Et ton commentaire pleins de mépris aurait sa place dans le twitter que tu dépeint.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Allez je me lance. Te montrer contre la violence par principe et reprocher à ceux que tu n'aiment pas de se conforter d'être "dans le camps du bien", c'est ironique.

La violence n'est pas un sujet en soit. La France, je parle bien de l'Etat français, n'a aucun problème avec les poseurs de bombes armés qui commetaient attentat et coup fourrés violent et n'hésitez pas à tuer, il y a 70 ans de cela. Robespierre et tous les autres acteurs de la terreur, ceux qui par leurs actes ont créé ce que l'on appelle aujourd'hui le terrorisme, ne sont pas considérés comme des ennemis de la nation. Pour ne citer que les plus grands exemples auquel d'autres peuvent être ajoutés.

La violence contre des biens est une culture qui n'est pas nouvelle dans les mouvements écologiques. On avait beaucoup parlé de destruction de champs d'OGM et de McDo par exemple.

Arrivé et faire mine de découvrir tout cela c'est soit du troll pur et dur soit une preuve d'inculture pour comprendre le sujet.

Bien là dessus tu va probablement tenter de m'impliquer personnellement en me disant que "je montre mon vrai visage", que je n'ai rien à faire d'un concept politique qui fait consensus, etc.

Je me permet de prendre les devants. Le sujet n'est pas moi ni ce que j'en pense. Je ne suis pas une personnalité médiatique qui a quelque chose à montrer de ma personnalité.

La question c'est comme il est communément admit que la violence peut être légitime (si ça ne l'est pas par toi l'État français oui) : est-ce que ici la violence que porte la radicalité de ce mouvement est légitime ?

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Tu viens de répondre bien plus précisément à la remarque :

La mode des objets sans comportement dans Java avec Getter/setter ressemble furieusement à du code fonctionnel sans en avoir le nom.

C'est une mode très vielle (30 ans), mais ça ne fait qu'une petite dizaine d'années que c'est véritablement fait pour la programmation fonctionnelle pour tout un tas de critères qui peuvent paraître être des détails, mais qui font beaucoup au final.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Plutôt avec les beans de java 1.1 et la notion de POJO (mot inventé par Martin Fowler en 2000) qui est souvent amalgamé avec les DTO.

Bref c'est une vielle idée.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Le créateur de markdown a sciemment choisi de ne laisser tout le monde faire ce qu'il veut de ce truc
Parler de markdown comme un truc unique c'est comme parler de la Gaule. On l'apprend peut-être en cours mais ça ne représente aucune réalité.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Pour le coup t'es tout de même entrain de reprocher à quelqu'un qui fait un acte militant d'être militant. Tous les signataires de pétitions/lettre ouverte sont militant par nature. Soit c'est le principe de pétition (en tout cas dans ce contexte) que tu veux remettre en cause soit ta disqualification ne tiens pas.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

La manière dont ils décrivent le projet et en particulier la phrase que tu cite me donne l'impression que le but c'est l'interface et le système est là pour soutenir cette interface. Encore une fois c'est pas une critique, ils font bien ce qu'ils veulent. Moi ça me chauffe pas des masses, mais ils ont l'air enthousiastes.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Je parle de leur interface et ce n'est pas une critique. L'interface semble être l'élément important de leur projet.

Ça me donne l'impression d'anciens utilisateurs Windows qui ont passé leur jeunesse sur ce système dans les années 90s et qui montent leurs projets pour ce faire plaisir avec leur nostalgie.

Ce qui est très bien. C'est juste que présenter Windows comme l'interface pour la productivité, ça va avec présenter Mac comme interface pour les créatifs et linux pour les nerds. C'est un peu éculé à mon humble avis (mais tu peux trouver des projets nostalgiques des 3).

https://youtu.be/jLYrBsCpP5o

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Je en connaissait pas SerenityOS. Ça a l'air d'être surtout une interface graphique. C'est vraiment un clone de Windows 95 :

Serenity

Windows

C'est vraiment le jeu des 7 différences :)

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Salut, j'y connais rien et je connais pas thingiverse (j'imagine que c'est un site pour partager des plans plus ou moins open hardware, un "github du materiel").

Sur ton boitier, j'aurais essayé de placer un filtre devant le ventilateur, pour protéger le ventilateur lui même.

Autre point, je ne connais rien de tout le processus de fabrication, j'imagine que c'est de la découpe, mais du coup comment est-ce que sont réalisées les inscriptions sous les différentes ports ("USB 2", etc).

En tout cas très cool de partager ta création. Ça a représenté combien de temps de travail ?

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Le gris est déjà utilisé sur la carte, il faut utiliser ni le gris ni une couleur du dégradé choisi. Je suis pas sûr de la lisibilité finale.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Pourquoi ?

Parce que ça permet de visualiser le cheminement ?

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Je suis sur Debian depuis Sarge (putain bientôt 20 ans). L'installeur reste moins sympa qu'ubuntu je trouve, mais je l'ai trouvé plus résilient après je n'administre pas un parc de machine non plus.

Ça fait bien longtemps que je n'ai pas eu de problème de matériel, je dois un peu bidouiller pour le driver proprio d'nvidia, mais c'est attendu.

Les PPA sont des dépôts APT comme les autres, la question ça va être comment les paquets qui s'y trouvent vont avec ta distrib'. Le seul que j'utilise c'est celui de git. Pour les autres paquets que je veux voir récent : firefox je ne sais plus comment j'ai fais. Je regarderais ce soir, mais c'est tellement pas un sujet que j'ai dû l'installer il y a quelques années et ne plus jamais y toucher. Pour d'autres logiciels, je décompresse dans /opt et je fais des liens symboliques depuis /usr/local/bin, j'ai pas besoin d'avoir plus d'intégration puisque je lance mes logiciels depuis la cli et je n'utilise pas de gestionnaire de fichiers.

Il y a toujours des mini trucs que j'aurais pu avoir plus tôt en passant sur testing. Avec la nouvelle version de debian, vim sait lire quel est le caractère de commentaire est configuré pour git, ce qui améliore la coloration syntaxique quand comme moi tu as changer ce caractère. J'aurais peut être pu avoir la fonctionnalité si je m'y était intéressé, mais là c'est corrigé.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Tu vois on tourne en rond parce que ce sont des énoncés que soit je trouve imprécis et quand on entre dans le détail on sait plus trop, soit ce n'est pas mon expérience, soit ce qui moi me semble poser problème est un détail sans importance pour d'autres. Bref de mon point de vue ils sont de surface (et on parlait des arguments sur comment l'équipe de modération s'en sert mais ce n'est pas grave).

La solution qui pourrait être faite c'est de sortir des données tangibles autour de ça.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Il semble qu'ils n'avaient pas besoin de ça pour payer leurs factures

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Ce qu'il dit c'est qu'il n'y a pas de synthèse pas qu'il n'y a pas d'arguments…

Je ne doute pas qu'ils existent. Ils sont justes bien gardés.

Tu fais exprès le troll? les modérateurs ne sont pas des no-life, ils ont pas des notifications à chaque nouveau post, est il sont loin d'être une armée. T'as vraiment besoin de stats pour voir que spam est plus vite inutilé que modéré?

Non c'est toi qui troll. Je dis que le système de note mets peut être plus de temps qu'eux à détecter un problème. Je dis aussi que si le système de note est efficace, il devrait être possible de leur rendre la vie plus simple en leur évitant d'avoir à les chercher. Je liste des pistes de en quoi est-ce qu'il peut être intéressant de leur simplifier la vie. Tu as dû lire un peu vite.

visiblement c'est toujours le cas ;)

Rien à voir avec ce que c'était à l'époque. Et pouvoir se montrer pas terrible avec quelqu'un avec le badge "10k de karma qu'est-ce que tu va faire ?" n'arrangeait rien.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Faut pas déconner

C'est même pas moi qui le dis, hein ?.

ce sans action de l'équipe de modération

Avec quoi comme faux positif ? On m'a aussi parlé de détecter les endroits problématiques, mais là aussi avec quoi comme faux positifs ? La dernière fois que j'ai regardé le site n'avait pas de dashboard pour avoir une visualisation tout en un de ça. Il y a des modérateurs qui se plaignent de devoir tout lire, mais qui ne veulent pas prendre par quand les discussions autour des outils de modérations sont ouvers.

Bref la lutte contre les spam & nuisible est loin d'être simple[…]

Et donc quand on souhaite en discuter il vaut mieux dire aux gens de circuler qu'il n'y a rien à voir plutôt que de s'intéresser au sujet ?

[…] alors peut être que comme j'ai un vieux compte je ne visualise pas la difficulté des nouveaux, mais je ne me souvient pas avoir eu de difficulté à m'intégrer.

C'est surtout que les gens ont des argumentations super évoluées du genre « moi je pense » suivi d'une dénégation de ce que le précédents à dit. Il est impossible pour quelqu'un qui ne fait pas parti de l'équipe du site de produire des données pour élever la discussion sans faire du polling du site qui ne serait pas de bon alloi pour, entre autre, suivre les actions de modération (en combien de temps un contenu atteins sa note ? est-ce que la modération est plus ou moins rapide que ça ? parmis les commentaires en note négatives combien sont modéré à terme ?…).

Note qu'il me semble que mon premier compte était l'un des premiers à passer la barre des 10k de karma et donc à commenter à 3 de base et aussi con que ça puisse paraître j'étais un peu obnibulé par les notes à l'époque. C'est pour ça que j'ai clos mon compte. J'ai étais victime d'effet pervers lié aux notes et je sais que j'ai étais un connards à cause de ça (j'ai d'autres raison de l'être bien sûr).

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll

Cet argument est facile à retourner: ça tourne en rond parce que personne parmi les gens qui trouvent le système actuel mauvais n'a proposé ni implémenté une meilleure solution

Tout les débuts de propositions se sont heurté à « pour qui le karma sert sur les questions de spam, de contenus/commentaires problématiques, de comptes multiples, etc. » sans arriver à décrire comment. C'est du gatekeeping. La dépêche si un jour elle arrive à son terme permettra de résoudre ce point de blocage, mais amha elle le fait par la plus complexe des manières : elle tente d'expliquer tous les choix faits depuis 20 ans plutôt que d'exprimer les besoins actuels.

n'a proposé ni implémenté une meilleure solution

C'est faux, mon journal propose des solutions et les implémentent de manière externes au code du site pour permettre à chacun d'essayer. C'est une critique facile, mais qui est faite dans le vide.

https://linuxfr.org/users/barmic/journaux/y-en-a-marre-de-ce-gros-troll