thoasm a écrit 9456 commentaires

fuck les droits d'auteurs...

Je vais peut être dire une connerie, mais tu peux peut être laisser l'utilisatiion des décors CS avec téléchargment séparé de CS (il me semble que la dernière fois que j'y ai joué, c'était téléchargeable gratuitement), ce qui permettrait de les utiliser sans violer les droits d'auteurs. Tu les redistribues pas directement.

t'as pas une option de 7zip en ligne de commande pour faire l'équivalent d'un

"tar -tf archive | xargs rm " ? (traduction : lister tous les fichier du répertoire, appliquer rm sur chaque ligne du listing)

où le gestionnaire de fichiers n'est pas extensible

Il y a des plugins pour explorer si c'est ce que tu entends par "extensible", le truc qui lui permet de gérer svn ou cvs par exemple (tortoisecvs/svn ?) doit être un plugin, non ?

Euh, si c'est un problème d'argent, mais la problématique principale est: "comment rémunérer la création ?", pas "comment engraisser le gouvernement". (Notez ici que je ne prends pas position sur le fond, j'essaye juste d'éclairer la problématique. Cette note à pour but d'éviter d'entraîner des réactions HS.)

Le neuneu ici, c'est toi, ne t'en déplaise, à vouloir ramener tous les problèmes au buget de l'État.

Parce que Tux, tout comme les batailles de boule de neige, ça n'a pas de prix. Certe, il y a peut être autre chose pour le reste, si t'as pris ta carte de crédit. Pas de bol sinon.

À la réflexion, entre

-> Debian la Communiste,
-> Red Hat la capitaliste,
-> SuSe l'Atlantiste,
-> Slack la conservatrice
-> Mandriva la Française
-> j'en passe (je vous fais confiance pour en trouver d'autres )
et j'en passe, il y a de quoi faire.

Et il y en a qui se demandent pourquoi il y a des trolls politiques sur linuxfr ?

PS: ce message est humoristique, je n'ai absolument pas traîté les utilisateurs de Mandrake de nationalistes ou les Debianeux de pourriture Communiste?

Boarf, les trolls à l'assemblée, c'est monnaie courante, je crois même qu'ils sont plus forts que nous.

Un petit troll distrib' entre un sur le budget de l'éducation nationale et un autre sur la dernière petite phrase du ministre de l'intérieur la police ça serait peut être rafraîchissant ?

... à moi, c'est les conséquences d'un éventuel plantage d'ooffice.

Le grand public se fout du format de publication, ce qu'il veut c'est un truc qui marche sans qu'il ait à se prendre la tête.

Et c'est compréhensible, il veut écouter la radio, pas se plonger dans les arcanes de l'informatique. Si c'est plus compliqué que d'utiliser sa bonne vieille radio, il y a toutes les chances qu'il laisse tomber.

Merci pour les infos, mais c'était plus pour titiller un peu Ernest H qu'autre chose, un "utf-8 possède des limitations" c'était un peu court comme argument à mon sens ;)

D'ailleurs : appliqué à irc ça ressemble pas trop à des limitations.
Ça demande au pire un peu de bande passante en plus à certains serveurs. Rien de bien méchant, donc, je pense pas que les serveurs irc soient facilement saturés.

C'est un sujet de troll récurent, hop un petit lien :

http://www.langue-fr.net/index/A/au_temps-autant.htm

Donc voilà, personne n'étant capable de vraiment trancher, ce qui alimente le troll, j'ai décidé perso d'écrire la forme que j'ai toujours pensée valide avant de tomber sur le premier troll sur le net, et que j'ai toujours comprise intuitivement comme indiqué dans le lien ("c'est autant pour moi")

Et si t'es pas content je te merde :p
(D'ailleurs c'est beaucoup plus drôle de laisser vivre le troll)

Le principe de ces trucs là, c'est de ne prouver "à la main" que vraiment les briques de bases, genre les fonctions vraiment de base.

De faire relire ces preuves super simple par pleins de gens, histoire d'être sûrs que ces preuves de bases sont correctes, et de construire l'implémentation en construisant toutes les bibliothèques à partir de ces briques de bases prouvées à la main, et en faisant tout vérifier par le prouveur de manière semi-automatique.

Alors certe, c'est un peu chateau de carte, mais c'est bien plus simple d'implémenter et de prouver et tester des briques de bases genre l'insertion d'un élément dans un tableau sans dépassement de capacité que de tester la JVM.

Les XPs n'existent pas.

Autant pour moi, c'est la même chose pour B : on écrit la spec dans un langage ensembliste "abstrait", puis on raffine vers du code de plus en plus "concret" (comprendre proche d'un langage classique) compilable en C, ADA, et d'autres, en prouvant à chaque étape du raffinage que la spec ne sera pas violée.

C'est aux filles de se faire leur défouloir si elles veulent :)

Effectivement, pour prouver qu'un programme fait bien ce qu'on veut qu'il fasse (la correction) il faut bien commencer par savoir ce qu'on veut qu'il fasse ... Et que la machine le sache aussi. Il faut commencer par écrire les spécifiactions du programme, formellement (en B ou Coq par exemple).

Un autre problème étant de s'assurer que les specs sont elles mêmes correctes :)

Sinon pour la preuve semi-automatique, c'est vrai en B par exemple, qui à si je me souviens bien du mal à prouver des propriétés dès qu'on touche à des cardinalités d'ensemble si je me souviens bien, sachant que B est un langage de spec ensembliste. Il faut ajouter des lemmes pour aider le prouveur si besoin.

Warning aussi, mes connaissances en spec formelles se résument à des cours de B en DUT :)

Normalement, ici, il suffit de prononcer le mot [pub] pour se faire jeter à coup de moissages, et lapider à coup de commentaires.

Là non seulement c'est une pub qui s'affiche, mais en plus le site à l'air de marcher du tonnerre ! C'est magique.

mais peut-être que quelque part il y aurait moyen de prouver la qualité de la machine/l'exactitude de la machine?
En théorie, oui, en pratique non.

C'est curieux, j'aurais dit l'inverse :) Enfin, un truc du genre: En théorie, non, en pratique, peut être. Pour prouver l'exactitude, on doit tomber à un moment ou à un autre sur le problème de l'arrêt ( http://fr.wikipedia.org/wiki/Probl%C3%A8me_de_l%27arr%C3%AAt ), qui est indécidable dans le cas général. En pratique, peut être que la JVM est théoriquement prouvable ? C'est pas parce que le prblème est indécidable dans le cas général qu'il l'est pas dans le cas particulier de la JVM. Bon, j'en doute, la JVM étant un morceau de code qui lui même interprête du code, on doit tomber sur de belles merdes théoriques, cf la preuve du problème de l'arrêt

Bon, après, en pratique, c'est rare qu'on s'amuse à essayer de prouver un programme de cette taille ...

Euh, si, elle s'applique, mais elle est pas très contraignante. Tant que veux pas redistribuer en tout cas.

C'est sans doute parce que je prends pas le sujet très au sérieux ;) C'est un faux coup de geule.

Sauf que l'ascii ne gérait bien qu'un nombre limité de caractère, adapté à l'anglais on va dire.

Les multiples encodages qui sont arrivés après sont arrivés justement pour cette raison, dont un nombre incalculable de variations de l'ascii.

L'utf-8 est peut être une monoculture, mais il n'est plus tellement spécifique à l'anglais ...

Enfin, l'argument des clients qui gèrent pas utf-8 est bidon : ils sont à ma connaissance plus nombreux que ceux qui gèrent l'encodage par chan avec lequel "tu fais pas chier le monde" ;) Non, c'est le monde qui te fais chier à obliger de configurer ton client :)

Peut être que c'est le protocole qui est à jeter, en fait.

Sinon, c'est quoi les limitations d'utf-8 ?

Parce que ça fait chier de changer la config par défaut à chaqur fois qu'on change de machine/client ? Parce que sur freenode par exemple, tous les chans peuvent avoir des préférés par défaut différents, et que tous les clients gèrent pas un charset différent par chan, mais que tous les clients ou quasiment gèrent l'utf-8 ? Ca serait quand même nettement plus simple pour ceux qui traînent sur des chans internationaux qu'ils soient tous en utf-8.

Et enfin, parce que c'est pas compliqué de passer un chan irc en utf-8, bordel de merde ? Nettement moins usant que de kicker les nouveaux 15 fois par jour. Peut être que c'est moins glorifiant de ne rien avoir à profiter du pouvoir d'être op (que je ne qualifierai pas :p) ?

T'as des protocoles de routage IP, pour ça effectivement (me demande pas les noms, je me fais une joie de pas les connaître/ les avoir oubliés)
D'ailleurs c'était dans le cahier des charges initial de l'armée d'avoir un réseau robuste, si je me trompe pas.

Peut être que Renater les utilise pas pour une raison que j'ignore ...

Du bavardage vide ton commentaire.

Eh non ! à la fin, on est aussi contre ce pourquoi LePen est pour, donc on est pour personne.

Sauf si on est aussi contre le fait d'être pour personne. Dans ce cas, on est forcément pour quelqu'un quand même. Sauf si ...

Moralité : être contre tout, c'est un peu ne pas avoir d'avis.