Matthieu Moy a écrit 3249 commentaires

Euh, oui, sauf que là, tu confonds un déboggueur et un prouveur.

Le déboggueur, il ne trouve pas les bugs à ta place, il te donne une execution instrumentée et/ou pas à pas de ton programme. C'est de la pure technique, rien à voir avec les problèmes de décidabilité théoriques.

Oui, j'ai vu le blog. Bah, venant de quelqu'un de chez SUN, il allait pas dire qu'il était d'accord et que OOo était une passoire non plus ;-).

Ce qu'il dit en gros, c'est que c'est pas tellement pire que MSO, mais de là à dire que c'est mieux ... Et là, on ne parle que de problèmes conceptuels, les failles genre buffer-overflow, ..., je crois que personne ne les a encore vraiment cherchées dans OOo.

MS Office est clairement plus attaqué que OOo et ce n'est pas surprennant. Mais franchement, de là à dire que OOo est plus sécurisé de MSO, quand on voit les rapports d'experts sur OOo, oui, je me pose la question, mais j'ai peur de la réponse.

Je viens de vérifier sur ma vieille adresse Yahoo (j'avais le forward activé il y a 5 ou 6 ans, avant que ça devienne payant. Il y a peut-être eu une autre fenêtre où ça a été gratuit entre temps) :


Mail Plus

Get personalized spam filtering with SpamGuard Plus, 2GB storage, 20MB message size, no graphical ads, POP access and forwarding, and more great features for just $19.99/year - that's less than $2/month.

La phrase est ambiguë, mais c'est bien ce qu'il voulait dire.

« Par rapport à la virtualisation de la machine, c'est mieux parce qu'il y a très peu d'overhead avec vserver »

;-)

Il y a aussi le fait d'avoir un OS qui est plus ou moins le plus petit dénominateur commun, et qui peut facilement être « donné » en OEM avec un ordinateur.

C'est un moyen de vendre un PC « presque sans OS », tout en ayant quand même quelque chose qui a au moins le mérite de booter pour vérifier qu'il marche.

De mémoire, je crois que c'est HP qui vends une partie de ses ordinateurs avec FreeDOS, je trouve que c'est une meilleure solution que le PC sans OS du tout.

Bah, il leur suffit de 12 minutes pour tester un patch, alors un mois, c'est long !

Arf, J+4.

C'était bien alors ?

Le problème du mot polymorphisme, c'est qu'il est surchargé ;-).

OCaml fait du polymorphisme au sens où tu peux avoir par exemple une fonction sort de type 'a list -> 'a list, et le 'a est défini au moment de l'appel. C'est grosso-modo l'équivalent des templates de C++.

Il y a aussi des fonctions virtuelles dans les objets, ce qui est en général connu sous le nom de polymorphisme, ou liaison dynamique en C++.

Mais c'est vrai qu'il y a des limitations dans l'orienté objet en OCaml. Par exemple, dynamic_cast<...>(...) n'existe pas, enfin pas sous cette forme.

Pour les 3 premières questions, avec ECB, oui. Mais la dernière fois que j'ai essayé, j'ai pas été convaincu du résultat.

Pour la dernière, je ne connais pas.

> Pour les sauvegardes [...] ça pose bien problème avec google.

D'une part les sauvegardes sont moins nécessaires avec gmail, vu que le stockage peut être supposé fiable, et qu'on n'efface pas souvent des mails avec gmail (ça ne veut pas dire qu'il ne faut pas faire de sauvegarde, mais ça veut dire que pour Mme Michu qui n'en aurait de toutes façon pas fait, c'est moins grave).

Et sinon, c'est quoi le problème pour la sauvegarde avec gmail ? Tu fais un coup de pop, tu graves un CD/DVD, et ça roule.

Le dock peut encapsuler n'importe quelle fenêtre en fait. C'est juste que firefox dans le dock, c'est pas pratique ;-).

En l'occurence, gkrellm se lance directement dans le dock. Chez moi, il est en haut à droite et grandi vers le bas. Quand il me saoule, <touche-win>-d et il disparait, et la même chose pour le faire réapparaitre.

Avec ce fichier de config, c'est encore mieux :

http://www.modeemi.fi/~tuomov/repos/ion-scripts-3/scripts/cf(...)

Sous ion, tu as le dock qui est plus ou moins l'équivalent de la barre des tâches, enfin, ça te donne l'équivalent du « systray » où tu peux avoir les icones des applies comme amarok, akregator, klipper, ...

Sinon, bah, lances kicker, c'est la barre des tâches de KDE et c'est une applie plus ou moins comme une autre. Tu peux la mettre dans le scratchpad ou dans le dock justement (c'est affreusement pas pratique de l'avoir dans une vraie frame).

En plus de WFloatWS (quand tu crée un nouveau bureau, il te demande quel type de bureau tu veux), regardes du côté de detach.lua dans ion 3.

http://www-verimag.imag.fr/~moy/ion/ion3/

pour quelques screenshots.

Ça a bougé il y a pas si longtemps que ça avec le passage à lua 5.1, mais c'était l'affaire de 5 minutes pour mettre à jour toute ma config.

> Pouvoir nommé de la même façon des frames sur 2 bureaux différents qui permettrait :

Regarder de toute urgence du côté du scratchpad (une frame commune à tous les bureaux, « par dessus », qu'on appelle et qu'on masque avec un raccourcis clavier).

> (pratique pour gkrellm, ça m'éviterai de devoir lancer plusieurs instances).

Damned, c'est le dock qu'il te faut alors.

Au passage, la redirection, justement, elle y est dans gmail, au contraire de pas mal d'autres. On peut même changer son champ From, donc on peut envoyer des mails depuis gmail en faisant croire que c'est une autre adresse (il y a un email de confirmation pour vérifier que l'autre adresse t'appartient), et dans l'autre sens, on peut lire ses mails envoyés sur l'adresse gmail depuis une autre adresse.

Pour la lecture offline, il y a un acces POP (mais pas IMAP, ce qui se justifie en partie par le fait que le système de tags ne serait pas adapté à la présentation en dossiers de IMAP).

Bref, oui, techniquement, ça a les defauts d'un webmail, globalement bien moins que les autres webmails que je connais.

Des trucs pas trop utilisés genre Yahoo et Hotmail, il me semble bien, oui.

J'avais un compte Yahoo avec redirection, et un jour ils m'ont dit que si je prennait pas l'abonnement à XXUS$/an, j'y aurait plus droit. Je ne crois pas qu'ils l'ai remis depuis mais je peux me tromper. Côté hotmail, jamais utilisé mais je crois pas que ça soit possible non plus.

Gains de performances, pas tellement. Enfin, sur les différents benchmarks que j'ai vu, Gentoo était même parfois plus lente que Debian. La possibilité de choisir ses options de compilation, c'est bien, mais si le mainteneur du package Debian en a choisi des bons, on ne fera pas forcément mieux en recompilant soi-même.

Le vrai bénéfice de recompiler ses applies, c'est plutôt pour choisir les options de compil autres que les performances. Par exemple, des applies qui te donnent le choix entre plusieurs toolkits graphiques, voire pas de toolkit graphique du tout (Emacs CVS par exemple). En désactivant le support pour les trucs que tu n'utilises pas à la compilation, on peut aussi avoir des gains de performances (par exemple, il y a des applies Gtk avec un support GNOME optionnel). Côté Debian, le problème est résolu en ayant plusieurs packages et en en installant un au choix.

Un autre avantage, c'est que dans le système Gentoo, le système de package ne dit pas « va chercher le package sur un des mirroirs enregistré, et installes-le », mais « voici la commande pour récupérer les sources, et voici la commande pour les compiler » (c'est le fameux ebuild qui dit tout ça). Du coup, c'est assez facile de faire un ebuild pour une version de développement, le gestionnaire de paquet étant capable d'aller tapper directement dans le CVS. Avec un paquet Debian, il faut qu'il y ai quelque part un cron job qui fasse le CVS pour toi, et reconstruise le paquet.

Je dis tout ça en n'ayant installé Gentoo qu'une seule fois, et ne l'ayant quasiment pas utilisé, mais l'expérience était intéressante. Et on apprend des choses, c'est une distrib très pédagogique.

> Ma question est donc, pourquoi déjà prévoir une version Gnome ?

Bah, pour faire une gulteo !

> une version serveur,

Visiblement, ulteo sera orienté réseau (un truc genre live-cd avec /home venant d'un serveur sur le net ne m'étonnerai pas), donc il faut bien avoir un serveur. Il y avait une distrib pour cyber-café comme ça avec une version serveur pour une machine, et une version client pour les autres (enfin, ça peut aussi être un flag pendant l'install, mais si on demande à Mme Michu si elle veut la version serveur, elle risquerait de dire oui :-\).

T'inquietes, chez moi, c'est très plantogène aussi sur un AMD sans HT alors ...

Enfin, ces jours-ci, je lui ai redonné une chance, il plante presque plus, alors qu'à une époque, c'était 5minutes d'uptime moyen.

Bah, ça a peu de chances d'être un vapourware complet vu que Gael a déjà fait du concret, c'est pas Jayce non plus.

Mais le petit jeu genre « c'est révolutionnaire mais je veux pas vous dire ce que c'est », je trouvais ça rigolo au début mais ça a assez duré, là.

La notion de libre/pas-libre ne s'applique vraiment qu'à partir du moment où le logiciel est distribué. Par contre, comme dit plus bas, si tu ne le donne qu'à ton frère et que tu lui donne sous une licence libre, c'est un logiciel libre même si tu n'y a pas accès.

cf. par exemple :
http://www.gnu.org/philosophy/categories.html#PrivateSoftwar(...)

Ouaip. Wengo = que du bon ! Un client libre et portable, un protocole standard (donc on peut aussi utiliser son client SIP préféré) (on peut dire que j'ai presque parlé d'Ekiga, là ;-) ), et des prix intéressants.

Je n'ai pas encore essayé le wengophone-NG, mais c'est aussi un client mutliprotocole (MSN/Yahoo/AIM/Jabber). Ils parlent de compatibilité Skype pour le futur, mais je ne sais pas comment ils comptent s'y prendre.

Ahh, si ça pouvait être le MSN+Skype killer !

(enfin, celui-là où un autre, mais si il pouvait y avoir un skype killer, et un MSN killer, dans l'absolu, ça serait bien ^_^)

En effet.

Ceci dit, il y a des paquets qui n'ont que l'un ou que l'autre, j'avoue que je ne sais pas exactement à quoi ça correspond.