MrLapinot a écrit 854 commentaires

Bof, en fait si je lis correctement l'article 8, il dit juste que si tu écris une doc pour msn, Microsoft peut te la piquer et l'utiliser comme bon lui semble. Certes, c'est une violation de la propriété intellectuelle, du moins dans sa version européenne (aux USA ce genre de cession est tout à fait légale il me semble), mais ce n'est pas comme s'ils pouvaient s'arroger des droits sur tous les documents que tu transmets via MSN (ce que j'avais cru lors d'une première lecture un peu rapide). Si tu es contre, tu n'as qu'à pas écrire de doc sur MSN, ou alors écrire une doc sur MSN mais sans l'utiliser.

J'ai essayé de poser la question directement, et je me suis fait kicker à chaque fois. Donc, bon, je me dis que quelqu'un d'autre est peut-être plus disposé à me répondre. Après, si tu es un grand timide, tu peux me répondre par message privé, comme ça les autres ne sauront rien ; je te promets que je ne le dirai à personne.

Euh, juste pour préciser : le commentaire précédent n'est pas ironique (comme je n'ai pas mis de smileys, en le relisant, je vois qu'il prête à confusion). Sincèrement merci, ça m'a mis de bonne humeur.

C'est "formats ouverts et interopérabilité" le titre du billet (il y a un "à" en trop qui traine dans le lien en fin de news).

Une fausse réponse à ma vraie question, mais avec beaucoup d'humour : j'adore.

Merci beaucoup.

Ça c'est le comment (ça marche) et non pas le pourquoi (ça a été fait, ici et plus généralement). J'avais tenté d'être clair dans mon journal pourtant... Et j'insiste, c'est une vraie question.

<warning type="approximations">
On ne peut pas tout prouver (en particulier, on ne peut prouver aucune propriété non triviale d'une machine de Turing si je ne dis pas de connerie), mais on peut prouver que la machine virtuelle (ou un programme en général) répond bien à certaines spécifications. C'est le domaine de la certification logicielle, ça utilise essentiellement de la logique, et effectivement on a de jolis résultats théoriques parfois un peu galères à mettre en pratique (notamment parce que les démonstrations ne sont que rarement automatiques, en général semi-automatiques).
</warning>

Merci de corriger les bêtises.

Euh ça a priori ça ressemble plus à une distinction ouvert / fermé (mais peut-être que ça se ramène à une compactification, quoique ça serait étonnant puisqu'on doit pouvoir compactifier en rajoutant un unique point - ce qui n'est pas le cas d'une frontière).

Bon, je comprends mieux, merci. Mais il me semble toutefois que Dieu devrait plutôt être le point à l'infini que le compactifié. Cela dit, ça a nettement moins de gueule, ce qui pour Dieu, pose un sacré problème...

J'ai fait deux ans de prépas, et une bonne dose de maths en école d'ingénieur. Particulièrement des statistiques, pour cette dernière partie. Qu'elle ne fut pas ma joie lorsque je vis que le prof abordait une (sous-)partie intitulée « compactifié d'Alexandrov » : j'allais enfin pouvoir comprendre cette blague qui me hantait depuis longtemps.

Seulement voilà, le prof n'était pas des plus limpides, et les explications glanées sur le fameux compactifié ne m'ont pas permis de saisir l'humour ultime. Faut-il absolument être normalien pour saisir ? Ou bien quelqu'un pourrait-il ENFIN m'expliquer pourquoi, nom de Dieu, est-il le compactifié d'Alexandrov de l'univers ?

j'ai d'abord tout une série de filtres maildrop qui renvoient les emails provenant de personnes/listes connu(e)s vers des dossiers ad-hoc (ça évite certains faux positifs).

Tu pourrais poster un exemple stp, je suis intéressé par cette partie ?

Merci d'avance.

Parce que l'on peut servir des contenus non XHTML avec (type MathML ou SVG) comme évoqué dans l'article.

S'il s'agit juste d'acheter un billet de train (ou bus), je recommande vivement :

http://reiseauskunft.bahn.de/bin/query.exe/fn

Enfin en réalité, il ne permet d'acheter que sur le réseau allemand, mais il trouve les horaire sur toutes l'Europe, parfois bien mieux que voyages-sncf.com. Et puis il est plus beau, plus léger, plus fonctionnel. Plus mieux quoi.
Donc trouver le billet dessus, et aller l'acheter sur le site français ensuite.

Pour le fun, vous pouvez chercher un lisbonne-oslo par exemple (68 heures).

Le titre est incompréhensible. La faute à la reprise verbatim de http://www.ffii.fr/vote-epla dont le titre, trop long je suppose, a été coupé sur linuxfr.

Il faut donc comprendre :
"Parlement européen : la résolution de soutien à l’EPLA tourne au vote de défiance envers l’OEB"

En même temps, planter un PC, c'est nettement plus facile que de passer root. Une fork bomb en tant qu'utilisateur de base suffit dans une bonne majorité des cas.

La méthode Condorcet n'est pas plus difficile à mettre en place que le système traditionnel, même à la main. Elle requiert juste de remplir un tableau à deux entrées au lieu d'un tableau à une entrée.

En effet, j'ai été un peu vite en besogne. Je n'avais pas réalisé qu'il suffisait de faire remonter les score de chaque couples de candidats. Ça reste quand même un enfer à dépouiller si on fait tout manuellement, mais c'est au moins techniquement réalisable de subdiviser le dépouillement et de faire remonter les scores partiels pour centraliser.

Mea culpa.

Le système de Condorcet au niveau national rend de toute façon incontournable l'usage d'un ordinateur à un moment ou à un autre (faire tourner l'algorithme à la main sur l'ensemble des votes est tout bonnement impossible). Dès lors, si fraude il doit y avoir, elle est possible, et il est bien plus facile de plomber un ordinateur (celui qui fait le calcul final) que des dizaines de milliers de machines à voter. Aucune raison donc de rajouter en plus un dépouillement pénible, voire impratiquable (déjà qu'on a du mal à trouver des volontaires pour le faire à l'heure actuelle - je sais de quoi je parle, j'en suis à chaque fois...).

Enfin à mon avis (mais je peux me tromper).

Mais au fait, pourquoi veut-on changer de système de vote? Qu'est-ce qui ne va pas dans le système avec urne classique qu'on essaie de régler?
Par exemple, adopter le vote de Condorcet pour les présidentielles. Enfin c'est pour ça que je me dis que ça serait mieux (mais pas forcément réalisable au regard des problèmes que tu soulèves et qui ne doivent pas être négligés).

C'est toujours altgr+z pour « chez moi (altgr+w = ł, qui est un symbole ma foi intéressant, merci de me l'avoir fait découvrir involontairement).

Juste pour le plaisir : 42 ł 43.

Je préfère la variante suivante :

« In a world without walls and fences, who needs windows and gates ? »

Mais cela méritait-il un journal ? Un fromage, à la limite...

alt+espace pour passer du mode flottant au mode organisé (et inversement). alt+maj+espace pour faire passer une fenêtre d'un mode à l'autre.

Sinon, est-ce qu'il y a un moyen d'avoir une division horizontale des fenêtres ? (je ne parle pas du mode alt+d mais vraiment de deux cadres superposés où l'on pourrait avoir des fenêtres en mode alt+s ou alt+m par exemple, comme dans ion).

On s'éloigne du sujet, j'ai l'impression...

J'avais un doute. Maintenant c'est clair : tu es un troll. Un vrai.

On voulait faire une action à la rentrée pour rappeler ce qui s'était passé pendant les vacances. La loi étant passée, il a semblé naturel qu'en plus de son rôle d'information, StopDRM aille la mettre à l'épreuve, réaffirmant publiquement les convictions de ses membres (il ne s'agit pas d'aller se dénoncer pour téléchargement illégal mais pour contournement de DRM à but privé).

Après quelques hésitations, l'un d'entre nous a décidé de courir le risque. D'autres étaient prêts à le suivre mais on a craint une dispersion (genre "bande de pirates") et on a préféré se focaliser sur un «porte-parole» (si l'affaire en venait jusqu'au tribunaux, c'est plus lisible médiatiquement d'avoir une tête qui revient dans tous les journaux en disant qu'il s'agit d'un représentant d'un collectif).

Quant à ton message sur linuxfr, je ne l'avais pas vu à l'époque, mais ça n'engage que moi, et si ça trouve c'est lui qui a donné l'idée à certaines autres personnes du collectif.

Juste pour signaler que muttfr est complètement mort (et ce depuis un bon bout de temps). Dommage, il y avait de bonnes idées dessus.

Réponse courte : si (d'après un documentaire vu il y a longtemps où ils interviewaient les dév de l'époque).