mickabouille a écrit 1321 commentaires

  • [^] # Re: Celle de Peter Pouik aussi

    Posté par  . En réponse au journal La conjecture de Riemann prouvée ?. Évalué à 2.

    L'énoncé est de niveau 2e-3e année d'études supérieures. La démo est plus compliquée, on l'admet.
    Le niveau nécessaire pour se figurer ce que dit l'énoncé peut être très bas, même pour des choses très compliquées à démontrer.
    Par exemple, le théorème qui dit que "tous les groupes finis simples sont dans la liste suivante (liste de 30 pages), à isomorphisme près"
    contient comme notion la plus compliquée celle de sous-groupe normal. La démonstration est le regroupement de plusieurs démos contenant plusieurs milliers de pages. Et (pour le moment) contient des preuves par ordinateur, qui ne font pas l'unanimité.

    Plus simple encore : le grand théorème de fermat (plus connu), qui a été très vite démontré comme chacun le sait (j'espère?) : 4 siècles. Son énoncé peut être présenté sans problème en lycée, et son contenu se limite au programme de 4e.
  • [^] # Re: En 23 pages?

    Posté par  . En réponse au journal La conjecture de Riemann prouvée ?. Évalué à 0.

    On ne risque pas d'appeler ça hypothèse de Riemman :D L'hypothèse, c'est :
    SI Hypothèse ALORS conséquence

    (en maths) hypothèse est synonyme de "condition". C'est l'ensemble des propriétés à vérifier pour pouvoir appliquer un théorème (dans le sens large du terme).

    Je crois que c'est différent en sciences expérimentales.

    Ici, c'est bien la "conjecture de RIemman". D'ailleurs, je l'ai toujours entendue comme ça.
  • # c'est sid hein!

    Posté par  . En réponse au journal installation sid ?. Évalué à 2.

    >ce week-end j'ai voulu tenter l'install d'une sid..
    >alors je savais que l'install de debian etait reputee baleze, mais la !
    Ça ne m'étonne pas du tout. À l'extrême limite, pour installer sid, vaut mieux installer woody ou sarge et upgrader. Parce que sid, c'est 100% non garanti.
  • [^] # Re: ...et puis aussi...

    Posté par  . En réponse au journal Un militant de l ump est demandé. Évalué à 5.

    > Chine arrive, l Inde comme a sortir : 2 puissances montantes ...
    Qui sont sur le point de dépasser les USA niveau pollution. On ne peut pas leur reprocher de se développer, mais pourquoi répéter non erreurs?

    Oui, je ne partage pas ton opinion sur les verts. Non, je ne suis pas vert

    > Tu prends l'ecologie et tu écoutes les discours. Pas très réaliste

    Les discours sont réalistes, les propositions pas trop. Il est nécessaire que tous les partis s'alignent sur eux (on en a pour, quoi, 50 ans de terre vivable?). Ou qu'il deviennent responsables et cessent en même temps de prôner le recours aux énergies renouvelables et de manifester contre l'installation d'éoliennes.

    De toute façon, le principe n'est pas de remplacer tout par des énergies renouvelables (enfin si, mais à terme), mais plutôt de consommer moins! Et pour ça, il faut une décroissance marquée, qui ne se traduit pas forcément par un retour en arrière du niveau de vie, mais peut être juste un plateau.
    Il faut cesser de mettre des enseignes électriques partout, y compris quand tout est fermé. Il faut cesser les déplacements inutiles, produire le plus près possible des débouchés...
  • [^] # Re: Yeah !

    Posté par  . En réponse à la dépêche Grisbi 0.5.0 disponible. Évalué à 0.

    Mais enfin voyons... Qui n'a installé latex sur sa machine? Une pue de sérieux, voyons... ;)

    En fait c'est à moitié sérieux. Tout comme je n'imagine pas avoir gcc sur ma machine, je n'imagine pas une machine sans latex.
  • # j'ai vu un truc sur firefox et l'impression

    Posté par  . En réponse au journal Besoin d'aide. Évalué à 2.

    Je ne sais pas s'il y a un rapport ou non :
    http://packages.qa.debian.org/m/mozilla-firefox/news/1.html(...)

    en particulier
    * debian/rules: Following the advice of #247585 I'm disabling postscript
    printing. Perhaps this will alleviate some of the other printing
    problems.
  • [^] # Re: réponses

    Posté par  . En réponse au journal Nautilus 2.6. Évalué à 2.

    >Ben euh oui mais ce que tu demandes, c'est justement ce que ne veut pas te fournir
    > le mode spatial... d'où le problème.

    > Au final, je ne vois pas, dans "le meilleur des deux mondes", ce qui appartient
    > au monde spatial :-)

    Ouais, je vois. Je crois bien que je suis irrattrapable. Au rythme ou j'évolue, bientôt je vais mettre ma console en fond d'écran :D
  • [^] # Re: réponses

    Posté par  . En réponse au journal Nautilus 2.6. Évalué à 2.

    > de l'autre, faire des onglets sur son desktop...
    Ben, disons que quand je suis dans firefox, que je veux un nouvel onglet, je fais C-T. Mais des fois, firefox n'a pas le focus. Pour moi, le desktop qui a le focus, ça veut rien dire :)

    > Y'a pas moyen de changer le raccourci dans les préférences du bureau ?
    J'ai bien regardé, mais je n'ai pas trouvé ce raccourci particulier.
  • [^] # Re: réponses

    Posté par  . En réponse au journal Nautilus 2.6. Évalué à 5.

    > Le monsieur demande que son Nautilus en mode spatial se comporte comme Nautilus
    > en mode browser...
    Le monsieur veut surtout pouvoir utiliser le meilleur des deux mondes.
    On me parle de modèles, mais un modèle ça s'adapte. C'est peut être le concept qui va révolutionner le bureau, l'informatique, ou je sais pas quoi, mais il faut que ça reste utilisable.


    Il veut pouvoir paramétrer son bureau, il y a été habitué depuis qu'il a un bureau, et avant il se moquait bien des rigolos qui installaient des programmes pour personnaliser un peu le leur sous windows.


    Et non, il ne parle pas de lui à la 3e personne d'habitude ;)
  • [^] # Re: rox ou nautilus ?

    Posté par  . En réponse au journal Nautilus 2.6. Évalué à 2.

    > C'est l'optique de Gnome, de limiter le paramétrage graphique aux options nécessaires
    Ah... Nécessaires selon le point de vue de qui?

    > tu as le choix entre subir et forker
    Hum... Le pire, c'est que j'ai l'impression qu'au fur et a mesure que "linux sur le desktop" (c'est à la mode) avance, gnome, lui...
  • [^] # Re: rox ou nautilus ?

    Posté par  . En réponse au journal Nautilus 2.6. Évalué à 2.

    Ce que je veux, c'est nautilus un peu personnalisé.
    Enfin quoi, nautilus ne serait quand même pas le seule application sous linux qui ne serait pas un tant soit peu paramétrable?
  • # dist-upgrade

    Posté par  . En réponse au journal Gnome 2.6 dans Sid... Évalué à 5.

    Pour les plus prudents (comme moi), remplacez dist-upgrade par un upgrade simple. Vous verrez alors quels fichiers ne sont pas modifiés. Avec ensuite un apt-get -t unstable install sur ces fichiers, vous verrez les problèmes de dépendances, les fichiers enlevés et ajoutés. Ça prend un peu plus de temps, mais ça évite par exemple d'effacer kde si on trouve que c'est trop et qu'on peut attendre. Genre je n'utilise pas kde, mais je ne suis pas seul sur cet ordinateur.
  • [^] # Re: Courbevoie

    Posté par  . En réponse au journal Attention ça va couper. Évalué à 6.

    Oui et c'est trop bâtard. Un exemple? La gestion de l'eau un peu partout en France. Avec des villes qui ne rêvent que d'une chose : la mise en régie (elles ne le font jamais, d'une parce qu'il faut attendre la fin des contrats, et de 2 parce que manque de courage).

    Quoi qu'il en soit, une entreprise privée ne fera jamais du vrai service public. Pourquoi? Parce que son but est le chiffre. Une entreprise privée d'énergie poussera à la consommation, malgré les problèmes écologiques qui en découlent (et devront,eux, être pris en charge par l'état). Idem pour un opérateur téléphonique.
  • # il n'y a pas violation de droits d'auteur!

    Posté par  . En réponse au journal The wall - Logo. Évalué à 4.

    C'est ce qu'on appelle un pastiche.
    On reprend des éléments facilement identifiables d'une oeuvre connue pour en faire une oeuvre différente. C'est un clin d'oeil, quoi.
    C'est généralement vu plus comme un hommage que comme une violation du droit de l'auteur original, et je pense que c'est reconnu par le droit français.
  • # pas crédible du tout

    Posté par  . En réponse au journal Des niouzes d'Alan Cox. Évalué à 2.

    Voyons voir...

    Summary of changes from v2.6.6 to v2.6.7-rc1
    ============================================

    [...]

    Alan Cox:
    o PCI crash with pciless box or pci=off workaround on Vaio's
    o fix linux doc errors
    o fix block layer ioctl bug

    Ça jette un doute tout de suite ;)
  • # Plus c'est gros, plus c'est mieux

    Posté par  . En réponse au journal L'UMP au pouvoir : ce qu'ils essaient de faire de bien ou comment je me transforme en avocat du diable. Évalué à 4.

    Franchement, dire que créer un "géant pharmaceutque" (on peut remplacer pharmaceutique) est un point positif est à mon avis abusif.

    C'est quoi le but? "ouais, on est le premier groupe européen, c'est qui les premiers mondiaux?".
    Peut être que c'est sympa pour un patron, peut être que les autres te snobent si tu n'est pas capable de trouver un endroit où tu es le plus gros? La vie est dure.
    Peut être que c'est un papier à accrocher au dessus de son bureau, "plus grosse entreprise pharmaceutique européenne" à la place de "meilleur employé de l'année", ou de "papy le plus sympa".

    Ah oui, ça devient vite un argument publicitaire, genre "achetez les actions de la plus grosse entreprise du secteur gnagna gna". Bof. Je regarde pas les pubs. Et je trouve que c'est vite limité comme argument. Pour quoi serait-on meilleur parce qu'on est les plus gros? (pas de réponse).

    Ce n'est pas ce que je demande à une entreprise, moi , que d'être la plus grosse. Je demande qu'elle définisse un secteur (tiens, banque ou assurance, pas les deux) qu'elle s'y tienne, et qu'elle le fasse bien. Si c'est une petite structure de 10 personnes, soit. Si c'est 100, ok. Plus? pas de problème. Mais qu'est ce que ça apporte de passer de 40000 à 80000 employés (puis un an plus tard 50000)?

    C'est ce qui me fait bien rigoler, quand "on" a annoncé, récemment, les modifications du statut d'EDF, pour "qu'EDF puisse devenir un géant européen". Et alors? Si ça arrive, tant pis. Mais faire quelque chose exprès pour ça, non (surtout si ça fait aussi de la casse). Moi, pourvu qu'EDF continue à me desservir en électricité, je me fous qu'ils aillent aussi desservir les allemands ou les pékinois. (Et tout ça n'a rien à voir avec le fait qu'ils n'auraient jamais dû casser les monopoles d'état sur les services publics, quitte à quitter l'Europe si elle voulait l'imposer. L'Europe, on la fait comme on veut après tout - je ne parle pas de la France en particulier, mais de tout le monde).

    L'industrie pharmaceutique, innovante et dynamique, non (d'ailleurs, tu le dis). Mais je ne m'attends pas à ce que ça change avec cette fusion. out ce qui va changer va se passer à la bourse et dans les portefeuilles des actionnaires. Et les resucées d'anciens médicaments sont les plus favorables auxdits portefeuilles.

    Les énergies renouvelables pas en mesure de remplacer le nucléaire? Pas un bon rendement. C'est vrai. Mais ça ne risque pas de changer si on continue d'investir dans le nucléaire tout ce qu'on devrait investir dans la recherche sur ces énergies propres. C'est justement là que le bas blesse. Peut être que c'est un bon exemple pour tes propos (i.e. un gouvernement libéral obligé de fixer une politique industrielle malgré ses opinions), mais c'est aussi la preuve que les gouvernements peuvent se laisser mener par le bout du nez (d'ailleurs, cette aile de la politique française a un passé assez lourd du côté nucléaire, mais de toute façon, la gauche n'a guère fait mieux, et encore grace aux verts).

    ITER? En 2060, on commencera peut-être à prévoir de créer des prototypes d'unités de production à fusion.

    Science et vie/Écolomag? Je lis Sce et vie, je ne vois pas le rapport. Les orientations de leurs articles varient beaucoup en fonction du sujet, et probablement du journaliste.

    > la nomination d'Alain Juillet, ancien de la DGSE
    Super, un barbouze à l'industrie. Probablement un copain à Chirac d'ailleurs. Je n'ai rien contre le fait de regarder d'un peu plus près ce genre de chose, mais de là à mettre un *militaire*! D'ailleurs, ça me rappelle le vieil oxymore "génie militaire".
  • [^] # Re: Est-ce mieux chez nous ?

    Posté par  . En réponse au journal Dans la série les USA c'est vraiment un pays de merde. Évalué à 2.

    Il paraît qu'on s'est rendu compte que l'activité cérébrale d'un guillotiné pouvait durer quelques minutes après la décapitation (je ne sais pas comment on a pu voir ça. On a fait des test?). Et que donc d'une certaine façon on "survivait" à la décapitation. Si c'est vrai, je ne suis pas sûr que je dirais que c'est plus humain.

    Et pis de toute façon, la peine de mort est à réserver aux "sociétés" barbares.
  • [^] # Re: blah blah blah

    Posté par  . En réponse au journal Train de vie: Sarkozy dans la lignée des Chirac, Tiberi.... Évalué à 2.

    Le genre de journaux qui finit à la poubelle quoi qu'il arrive?
    Le canard a une certaine cote de sympthie (sauf peut être chez ceux qui ont été écorchés) que n'ont pas ces journaux.
  • [^] # Re: blah blah blah

    Posté par  . En réponse au journal Train de vie: Sarkozy dans la lignée des Chirac, Tiberi.... Évalué à 2.

    Je ne sais pas, j'ai constaté un drôle de moyen de propagation pour le canard. Laisse en traîner un dans un endroit public (proprement) genre salle d'attente, il y aura toujours quelqu'un pour le lire.
    Si ça se trouve, tu as peut-être fait gagner un lecteur au canard
  • # format le plus utilisé?

    Posté par  . En réponse au journal postscript truetype opentype freetype quesaco ?. Évalué à 6.

    > En tout cas sous Linux le plus utilisé est le format truetype créé par Microsoft

    Il m'a toujours semblé que le format le plus utilisé sous linux était le format type1 (aussi appelé police postscript), pour des raisons historiques : il est supporté sous linux depuis beaucoup plus longtemps, par X, ghostscript... et les grosses application (re-ghostscript, tex selon la config) utilisent type1.
    Mais peut être que ça a changé (suis-je si vieux que ça?). Ça fait un moment que je n'ai pas regardé quel était le format des polices que j'utilise.
  • [^] # Re: Quelques cliparts libres

    Posté par  . En réponse au journal Cliparts vectoriel. Évalué à 2.

    Oui, j'avais vu le projet de cliparts sur freedesktop. Par contre, il me semble qu'ils veulent que du "domaine public". C'est idiot. Sans compter que le domaine public n'existe pas partout, je ne vois pas ce que ça apporte de plus qu'une license libre, autorisant la modification, la distribution, etc.
  • [^] # Re: ondelettes

    Posté par  . En réponse à la dépêche La BBC libère ses travaux sur le codec vidéo Dirac. Évalué à 4.

    Bonne illustration de ce que je disais : impossible d'avoir une définition des ondelettes/wavelets sur internet. À croire qe ça n'existe que par et pour le traitement de signal.
  • # ondelettes

    Posté par  . En réponse à la dépêche La BBC libère ses travaux sur le codec vidéo Dirac. Évalué à 5.

    Pour autant que je me souvienne, mes connaissance sur le sujet étant limitées et lointains, les ondelettes ne sont pas des ondes et n'ont pas de fréquence.
    Je crois que ce sont soit des fonctions C(infini) à support compact, soit des fonctions à décroissance rapide.
    (et pour trouver une définition mathématique sur internet, bonjour. Rien que du blabla sur "les ondelettes, c'est bien pour faire de la compression". Même sur planetmaths, y a rien)
  • # Délai

    Posté par  . En réponse au journal Consultation électronique sur les OGMs. Évalué à 1.

    > L'initiative quoiqu'intérressante me paraît assez démagogique : 15 jours pour que ceux qui sont au
    > courant envoient leur avis sur une adresse email ...
    Surtout si on veut leur envoyer autre chose que "les ogm c'est mal" ou "c'est super". Un peu d'argumentation ne ferait probablement pas de mal, même si c'est un avis public et pas un avis d'expert qu'ils demandent.
    Remarque... peut être justement veulent-il éviter une consultation donnant des résultats trop étayés. Ils pourront plus facilement ignorer les réponses qui ne leur plaisent pas en disant "on a éliminé tout ce qui était trop caricatural/peu réfléchi..."

    Je suis peut être idiot, mais j'aurais tendance à vouloir lire les "8 nouveaux programmes de recherche 2004 " avant de répondre... et je ne sais pas si j'aurais le temps (c'est plus une histoire de temps de téléchargement que de lecture, en fait).
  • [^] # Re: Dans la gueule du loup

    Posté par  . En réponse à la dépêche Sortie de Mono 1.0 beta 1. Évalué à 2.

    > Microsoft has granted RAND+Royalty Free licenses to any patents they
    >might own that are required to implement the ECMA 334/335 standards.

    Oups, ça va finir dans non-free tout ça...
    Trêve de plaisanterie, il font bien ce qu'ils veulent dans le language qu'ils veulent, pourvu qu'ils ne fassent pas dépendre des projets important pour linux de trucs litigieux. Imaginez, ils ne faudrait pas que gnome, kde, mozilla, OOo aient des dépendances là dessus, et qu'un jour on se rende compte qu'il y a un problème.