dromadaire35 a écrit 102 commentaires

L'auteur du système de fichiers logique a même soutenu sa thèse, qui est à l'heure actuelle la meilleure documentation existante. On peut la trouver sur http://www.irisa.fr/bibli/publi/theses/2005/padioleau/padiol(...)

Là où je me pose plus de questions sur l'efficacité du tagging, c'est sur le fait que je ne sais pas comment sont taggés des fichiers échangés... Est ce que tu récupères les tags d'origine, et dans ce cas tu risques d'avoir des tags qui ne correspondent à aucune de tes catégories, ou tu perds les tags, et il faut les redéfinir à chaque fois qu'on te passe des fichiers, ce qui peut être un peu lourd à force si tu as beaucoup de catégories...?

Ben, en fait, c'est pas un problème nouveau. L'idée, c'est de voir le rangement en arborescence comme un cas particulier de tagging. En gros, ranger un fichier plop.txt dans /titi/toto/tata/tutu, c'est lui donner les propriétés titi, toto, tata et tutu (+ une contrainte d'ordre sur lesdites propriétés).

Quand tu télécharges plop.txt, ou que tu le reçois en pièce-jointe par courriel, l'information que plop.txt était rangé sur le serveur (ou chez ton correspondant) dans /titi/toto/tata/tutu est perdue, et tu t'en fous éperdumment. Tu vas le ranger quelque part chez toi, c.-à-d. que tu vas lui donner des propriétés qui te semblent pertinentes.

Symétriquement, si tu copies plop.txt sur une disquette/clé usb/ce que tu veux, je prend les paris que tu ne vas pas conserver les informations sur son chemin initial. Et ça ne te pose aucun problème de conscience.

C'est pareil avec du tagging. Tu perds les tags, et c'est pas grave. Notons au passage que tu n'as pas forcément à redéfinir tous les tags. En effet, il n'y a pas d'obstacle technique à ce que certaines propriétés soient extraites automatiquement du fichier : titre d'un document pdf, artiste d'un fichier musical, etc.

Mes deux cents.

Ben, si tu avais mieux survolé l'étude, tu aurais vu qu'il s'agit d'un des critères d'évaluation retenu. En résumé :
- Open Workbench et Imendio Planner permettent l'import des données MS Project sauvegardées en XML, mais pas l'export ;
- ce même import est présent dans Gantt Project, mais il est bogué, tandis que l'export marche presque bien.

Pour ceux qui ne sont pas dégroupé, [...] un accès juste adsl sans téléphone...

Si tu n'as pas de principes trop rigides, une façon un peu aventureuse de le faire c'est de prendre un abonnement téléphonique, un abonnement ADSL et de ne pas payer ta facture téléphonique. Au bout d'un moment, FT va te couper le téléphone. Mais pas l'ADSL.

Personnellement, je trouve ça légèrement malhonnête. Mais c'est arrivé à un pote qui était chez wanadoo, bien que je ne garantisse pas que ce soit une méthode fiable.

la dépêche du nouveau kernel est passée sur clubic avant de passer sur linuxfr... ça fait un peu désordre !

Ça ne me gêne pas tant que ça, et ce pour au moins deux raison. Premièrement, les gens de clubic sont payés pour faire leur boulot, contrairement aux rédacteurs et aux modéros de dlfp qui sont bénévoles. Deuxièmement, la news dlfp est quand même plus étoffée.

une inscription à l'Université publique en France vaut environ 300 à 400 euros, avec la mutuelle

s/mutuelle/sécurité sociale étudiante/

Personnellement, je ne comprends pas qu'avec ses moyens, l'INRIA ne mette pas en place un "Comprehensive Objective Caml Archive Network", à la manière de Perl et de TeX.

Ça existe déjà, ça s'appelle The Caml Hump et c'est là : http://caml.inria.fr/cgi-bin/hump.en.cgi(...)

Je ne suis pas sur qu'aujourd'hui, OCaml ai envie de jouer dans la cour des grands...

Il y est déjà :-)

Pourrais-tu m'expliquer pourquoi je devrais changer mon brave abcde pour cd2ogg ? J'avoue ne pas voir ce que je pourrais y gagner.

Je trouve ça totalement égoïste de vouloir garder ses découvertes quand elles peuvent profiter à tous.

Il est là, le c½ur du problème : une entreprise, je pense pas que ça la dérange d'être égoïste. L'idée même de concurrence les pousse à être violemment égoïste, les entreprises. J'aime bien rêver, mais là j'ai comme un doute que ça puisse fonctionner dans le contexte actuel ; il y a beaucoup trop de choses à changer pour que ça puisse fonctionner.

Evidemment, ils faudraient que toutes les sociétés jouent le jeu et que les commerciaux comprennent une bonne fois pour toute que la découverte est plus importante que le profit...

Et en plus, tu le reconnais toi-même. Allez, c'est pas grave ; ça fait toujours une idée rigolote à garder pour la prochaine fois que je ferais la révolution en terrasse d'un troquet.

ça ne garantie pas que le programme fera ce que l'on veut (on peut très bien prouver un additionneur qui soustrait)

Moui... Je tiens à nuancer un petit peu. En fait, quand on fait de la preuve de programme, on prouve qu'un programme est correct vis-à-vis d'une spécification. Donc tout dépend de ladite spécification.

En utilisant la méthode B, on prouve par exemple que les fonctions sont toutes appelées sur leur domaine, qu'elles rendent un résultat du type attendu.

De façon plus générale, une analyse permet de prouver statiquement (c.-à-d. sans exécuter le programme) une propriété (ou un ensemble de propriétés restreint), par exemple : respect des types, pas de division par zéro, assert non violés, propriétés de sécurité (aucun SMS ne sera envoyé à l'insu de l'utilisateur d'un téléphone), etc. Voir par exemple ce que fait le logiciel Astrée [1] utilisé pour Airbus. De façon plus générale, [2] donne une bonne idée de ce qui se cache derrière les analyses statiques.

Donc, pour en revenir à l'additionneur qui soustrait, on peut prouver qu'un tel additionneur est correct vis-à-vis de la propriété « ne fait pas de fuite mémoire ». Ça ne me choque pas qu'en réalité il n'additionne pas : ce n'était pas la propriété à prouver, point.

[1] http://www.astree.ens.fr/(...)
[2] http://www.astree.ens.fr/IntroAbsInt.html(...)

Tu peux m'envoyer l'url sur laquelle tu as trouvé ce portable ?

Ici : http://bd.educnet.education.fr/mipe/recherche.php?id=37(...)

au vu de mes désidératas en terme de résolution, ça ne le fait pas

Y'en a un qui fait du 1600x1200, quand même (mais le disque dur traine à 60 Go).

De ce que j'en sais, les portables de chez IBM sont bien supportés sous GNU/Linux. J'en veux pour preuve :
- le T42 acheté pour mon amie : yaka booter sur une Knoppix pour s'apercevoir que tout est reconnu et fonctionnel ;
- le T41 de tgl qui marche au poil.
En plus, c'est garanti 3 ans sur site, pièces et main d'½uvre. Et la hotline n'est pas surtaxée.

C'est un peu cher, mais si tu es étudiant (ou que tu connais un étudiant), les portables labellisés MIPE (les fameux portables à 1 euro) ont de bonnes ristournes (jusqu'à -40 %). Parmis ceux-là, il y en a deux ou trois qui sont très proches de tes critères.

à ma connaissance, pour l'instant, 55 % des francais ont dit : "TCE, on t'emmerde"

Même pas ; 55 % des 70 % d'électeurs français inscrits qui sont allés aux urnes on dit non au TCE. Soit 38,5 % des électeurs inscrits, c'est pas tout à fait pareil.

Si je voulais pinailler, je rajouterais même que les 42 millions d'électeurs inscrits ne représentent pas tous les Français, mais bon, on va pas chipoter.

C'est dommage que ça ne soit pas fait par défaut.

un petit script qui permet de remettre les jolies icônes [...] sous Ubuntu (et sûrement sous Debian avec un peu de tweaking)

Pour ceux que ça intéresse, ça fonctionne out-of-the-box sur une Debian testing de chez les grand-mères.

dommage que ce soit du qt :(

Je pense que tu voulais plutôt dire : « dommage qu'il n'y ait pas d'équivalent gtk ! ». Auquel cas, j'abonde dans ton sens. D'ailleurs, si quelqu'un par ici est au courant d'une telle chose, ça m'intéresse.

D'après http://distrowatch.com/table.php?distribution=debian(...)(...) il y aurait [...] ainsi que pas mal d'autres vieilleries

C'est oublier que certains paquets debian sont *beaucoup* patchés. Par exemple, XFree86, indiqué en version 4.3.0 est en fait le dernier CVS de XFree86 avant changement de license + des patches. Autrement dit, c'est plus vraiment du 4.3.0... De même pour le noyau, étiquetté 2.6.8 mais tellement patché qu'il ne ressemble plus tant que ça au 2.6.8 vanilla.

quand on lit quelles sont les VRAIES raisons qui ont poussées Microsoft à réagir si vite, on trouve : "Cela correspond également à une demande des enseignants qui souhaitent passer à la nouvelle orthographe de disposer d'un outil pour enseigner la réforme".

Mouais... Sans vouloir faire mon vieux con, je fais plus confiance à mon dico papier qu'à mon traitement de texte pour lever un doute concernant l'orthographe d'un mot. L'argument pédagogique me laisse pantois ; f'raient mieux d'apprendre aux élèves l'orthographe que l'utilisation d'un traitement de texte.

Si je ne m'abuse Ubuntu prend comme mot de passe root le mot de passe du premier utilisateur créé.

Non, sous Ubuntu root n'a pas de mot de passe par défaut. Ce qui n'est pas bien grave puisqu'il n'a pas non plus de shell.

Pour pouvoir administrer sa machine, l'utilisateur créé à l'installation peut utiliser sudo. C'est simple et assez sécurisé amha.

Cf. "Petites leçons de typographie" de Pierre André, page 9.

L'auteur de ce document, c'est Jacques André... c'est pas parce qu'il est parti en retraite ce mois ci qu'il faut écorcher son nom !

C'est dans le style plein écran et facilement controllable au clavier. La page officielle de ion est là : http://modeemi.cs.tut.fi/~tuomov/ion/(...) et contient tout (FAQ, manuel et même des screenshots)

hmmm flux et tt ca je connais

JE veux du plus spartiate :P lol

Dans ce cas, fais toi plaisir avec ion ou ratpoison...
(message subliminal : ion, c'est bien)

Pour ce qui est du driver proprio nvidia, la recette et le patch qu iva bien pour le faire tourner sur un beau noyau 2.6.11 sont là :
http://www.nvnews.net/vbulletin/showthread.php?t=46676(...)

donc la personne qui a cette IP est peut-être simplement infectée et n'essaie pas de s'introduire dans ta machine !

Je m'en doute bien ; c'est pour ça que j'aurais bien aimé la prévenir.