Thomas Douillard a écrit 9175 commentaires

Exact, c'est un peu facile de se faire rétorquer ensuite un truc du style "libre <> gratuit" "argument technique toussa" certe, mais le proprio à des arguments économiques indiscutables ... (pour le développeur par exemple)

Il doit me manquer un truc, parce là je comprends pas ce qui peut faire exploser la taille.

Genre pourquoi il y a duplication des sous-graphes ? à priori il suffirait de faire un arc d'un graphe vers un autre pour un appel de fonction par exemple, sans rien dupliquer du tout. Un genre d'inlining dans le graphe ? Les boucles qui sont déroulées si possible ? Il y a peut être des trucs du genre SSA (Single assignment si je me trompe pas), création d'une variable à chaque affectation ?

D'autre part, je vois pas pourquoi l'instanciation des objets ferait augmenter la taille du graphe, dans un langage classique à priori c'set juste l'instanciation de la mémoire et l'appel au constructeur (en simplifiant), pas de quoi exploser, donc. C'est en rapport avec le modèle par prototype, peut-être ? Comment les objets interviennent dans ce graphe ?

Pour la granularité, l'assembleur par exemple à une granularité très fine, et pourtant on a pas des exécutables de 512 megs ?

D'accord avec toi, sauf que l'analyse de flot ne permet pas seulement à mon avis de détecter du code mort, mais aussi de détecter les erreurs potentielles, cf l'exemple de la division par 0 donné plus haut.

Question plus technique : c'est quoi qui bouffe de l'espace dans Lisaac ? les propriétés trouvées (genre n pair), qu'on est obligé de garder parce qu'on sait pas si elles serons utiles ou pas ? (question naïve sans doute, j'y connais pas grand chose) ? Je pense pas que le graphe de flot en lui même prenne autant de place ... ? Le moteur d'inférence ?

Il y a des chances que les performances ne soient pas améliorées dans l'histoire, c'est sûr : les algorithmes de détections de ce type de propriétés ne se font pas forcément, du point de vue de la complexité algorithmique, aussi rapidement que les autres, sauf peut-être à rechercher des propriétés relativement triviales.

Ils vont peut-être devoir changer d'ordre de grandeur l'algorithme, ce qui n'est à priori pas bon pour le temps d'exécution. Je pense pas que le "10x" soit significatif, ils donnent ça comme un vague ordre de grandeur dans la description du projet.

Je pense pas que ce type d'algo nécessite forcément de stocker tout l'arbre en mémoire, on doit pouvoir s'en sortir avec un parcours 'à la demande'.

En tout cas, un algo de diff binaire générique est "à plat" à priori. Il doit tenter d'aligner au mieux les sous-séquences communes sources et cibles) et ne tient pas du tout compte de la structure arborescente de ton fichier. Dans ce cas, pas besoin de hachoir.

Je crois qu'il existe des algos de diff xml. L'idée me semble relativement semblable : si je me trompe pas, Hachoir manipule un arbre, comme XML.

Pourquoi ion alors qu'on peut déja splitter l'écran dans tous les sens avec emacs ? Ca fait double emploi !

J'aimes les gens aux idées bien arrêtées et les dialogues de sourds.

Et qui avancent des trucs, et répondent à la contradiction en réavancant le même truc, c'est vachement constructif.

Cela dit je suis un peu dans le même esprit que toi, j'irai pas aller fouiller les mailing lists kde, gnome, freedesktop ou les distribs rien que pour un troll idiot.

Dans un cas comme dans l'autre, perso je maintiens que ce n'est pas forcément une mauvaise chose, et tu ne pourras pas me convaincre du contraire (c'est une façon de mettre fin à la discussion).

SI tu crois avoir raison en criant plus fort que les autres, libre à toi.

Chapeau l'argumentation, c'est parce que ça vient de windows que c'est mal ? Sachant que sur un Desktop, tout le monde à peu prêt a ces répertoires, pourquoi pas les mettres par défaut ? Ca permet de faire des trucs genre préconfigurer le logiciel de musique, mettres des icones appropriées, ou des choses comme ça, des trucs "user friendly" (le vilain mot). Et si t'es pas content, tu changes ^^.

(a vérifier) j'ai vu la licence GPL sur le CD de la livebox, je crois.

Après recherche rapide sur le net, il y a ça chez Inventel ( un des firmware ) : http://www.inventel.com/gateway/gpl_software/

Sans doute. Mais il sera certainement plus intéressé par les conclusions et les softs du projet que par le projet lui même (un peu de mauvaise foi, certe).

Si on savait répondre à tes questions simplement, il n'y aurait pas besoin de ce projet ;).

Ils prévoient plus d'un an sur les deux de définition précise du projet, bibliographie et spécification ...

http://www.sqo-oss.eu/about/activities

Ce que je vois 'à priori' sur la qualité, c'est par exemple la qualité du code. Utiliser et concevoir des outils de preuves de programmes pour rechercher des propriétés comme "pas de segfault" dans le code.

Mais tu à raison, le projet semble bien plus vaste, ils vont sans doute mettre des équipes de recherche en labo et/ou en r&d dans les entreprises sur des domaines relativement larges (de l'ihm à la preuve formelle de programme, recherche de bugs, ...)

Le troll à ses périodes, lui aussi. En temps normal, il sort le vendredi, c'est sûr. Mais on peux observer une recrudescence de trolls, plus ou moins périodiquement, pour le trollus politicus par exemple.

Il sort relativement peu en période normale, mais parfois il s'excite. Par exemple, tous les 5 ans, il a une période d'activité, de reproduction intense, qui dure environ de 6 mois à 1 an. Ça commence doucement, puis il agit de plus en plus. Il agit de plus en plus, jusqu'envirion vers Avril ou son activité atteint son paroxysme. Après il disparait plus ou moins de la circulation, même s'il a des "rechutes".

À cette période, il est suffisament hardi pour sortir un autre jour de la semaine que le vendredi.

Faut voir ça du point de vue de l'europe politico-économique : les lls sont une chance de développer une vraie industrie du logiciel à l'échelle Européenne, dans un monde plutôt dominé par les États-unis de ce côté. (Enfin Pierre-Jarillon le dirait sans doute mieux que moi ;) )

En même temps, vu la description du projet (ainsi que la geule du site web), tu peux être sûr que ce seront pas ceux qui ont fait le site qui feront les logiciels de test.

Ils vont financer des équipes de recherche pour créer des logiciels de test et tout.

Exact, genre la différence vient peut être du fait qu'on a l'habitude de ranger nos fichiers comme bon nous semble (pas nécessairement comme des gorets, mais avec une logique à nous), en tant qu'informaticiens.

Alors que la "tendance" qu'on peut observer, c'est que l'utilisateur est plus ou moins guidé pour ranger ses fichiers dans "ma musique", "mes images", ... En suivant ce genre de convention, tu as déja ces répertoires accessibles facilement de base dans la boite, et tu te crées d'autres raccourcis pour tes autres répertoires "standards".

L'hypothèse de gnome est que ça suffit pour la plupart des cas d'utilisation, particulièrement pour un utilisateur lamda, j'imagine. Pour nous informaticiens qui avons nos habitude, c'est peut être un peu plus dur de "rentrer dans les cases", à la fois par habitude et parce qu'on est confronté à plus de situations différentes qu'un utilisateur lambda.

Sur la génétique : le programme est plutôt poussé maintenant : réplication de l'ADN relativement détaillée je pense. SVT c'est sciences de la vie et de la terre - ça fait un bon moment que c'est comme ça.


Je pense pas que l'antiquité ait disparue du programme de sixième.

Pour sujet verbe complément, à part faire la distinction entre plusieurs type de compléments (COD, COI, compléments circonstanciels de temps, de manière, etc. ) et les abbréviations qui vont avec je vois pas de quoi tu veux parler. Peut être qu'on allait pas aussi loin à ton époque ? ou que tu ne tu t'en souviens plus (c'est bien la peine ;) ).

Et il y a nombre d'enfants qui ont du mal à 'relativiser' une situation, à faire des parallèles historiques

C'est peut être parce qu'ils ne sont encore que des enfants ?

Sinon, sur la culture et le bachotage, rien compris. Pour moi le bachottage c'était la révision intensive du programme en vue de passer le bac.

Ce genre d'article traine pas mal sur google news aujourd'hui :

http://www.liberation.fr/actualite/politiques/211878.FR.php

Gille de Robien est pas suivi par tout le monde, même les scientifique chez qui il tirait une partie de ses arrguments ...

Je suis le seul à me méfier de wikipedia en tant que référence sur ce genre de sujet trollesque à mort ? (je précise que j'ai pas encore lu l'article)

Et ta position sur les profs d'avant ?

Avec des explications aussi carrées, tranchées, argumentées, je te donnerai toute confiance pour choisir comment apprendre à lire à mes gamins.

Et oui, il y en a qui n'ont pas d'arguments ...

En quoi c'est un "nouveau jeu" ?

Sur ce qu'il pointe, pas sur le fond : faut peut être regarder du côté du débat sur la GPLv3.

Libre insistant sur le côté militant (anti DRM, brevets) vs libre technique, conséquences de la GPLv3, tout ça.