Bonjour,

La quantité de mail à stocker est toujours plus grande. Pour de grandes institutions (>30.000 personnes), l'archivage et la conservation des mails peut devenir très problématique.

Or, si on regarde les 2 principaux sytème de stockage de mailboxes sur les systèmes libres, càd mbox et maildir, on remarque immédiatement qu'il n'y a rien de fait concernant l'optimisation du stockage.

Pourtant, on remarque rapidement que dans le stockage beaucoup de données sont tout simplement dupliquées :
- Chaque fois qu'un mail est envoyé à X personne ce mail est stocké X fois sur le serveur
- Chaque fois que forward avec pièces jointes est fait, tout est dupliqué

Je pense qu'il doit être possible de faire un système de stockage qui enregistrerait une seule fois les données et des liens vers ces données. Un méchanisme à la copy-on-write pourrait être mis en place en cas d'écriture par un utilisateur.

Est-ce que ce type de système existe (dans le libre) ? Je n'ai pas trouvé. Est-ce que vous pensez que cela est une bonne idée ? Je pense personnellement que les besoins en stockage seraient dramatiquement plus bas.

> Lire le journal (43 commentaires, moyenne: 2,8).

Le turing award [1], l'une des plus prestigieuses récompenses si pas la plus prestigieuse, vient d'être décerné à Edmund M. Clarke [2] [(Carnegie Mellon University), E. Allen Emerson [3] (University of Texas) , et Joseph Sifakis [4] (université de grenoble - laboratoire verimag [5]) pour leur travaux sur le "model checking".

Le "model checking" (tel que connu aujourd'hui) a émergé au début des années 1980 avec les travaux de nos trois primés. Ces travaux ont été les iniciateurs d'une nouvelle discipline. De nombreux chercheurs et laboratoires leur ont emboîté le pas et le domaine est très rapidement devenu une matière de recherche importante. Cette matière fait partie désormais partie intégrante du cursus de base de toutes les études universitaires en informatique.

Le "model checking" [6] fait partie de la famille des méthodes de vérification automatisée. Il consiste en vérification d'une propriété, d'un ensembles de propriétés, d'une modèle par rapport à tous les états possible d'un programme à partir d'un état de départ. Le modèle est une abstraction du programme en lui-même. Cette abstraction décrit uniquement ce qui est à vérifier et est par conséquent, une sorte "simplification" du comportement du programme. Les propriétés, le modèle est généralement décrit par une logique temporelle [7], c-à-d une logique avec une notion de temps (permettant, par exemple, d'exprimer des propriétés sur les états suivants/précédents d'un système).

Le "model checking" a aujourd'hui des applications dans de nombreux domaines, non-exhausitvement : la détection de bugs dans les logiciels et sur le hardware, la vérification de processus industriels critiques, la vérification des processus métier.

Pour ceux qui n'ont pas peur des maux de têtes, je les invite à lire les quelques introductions [7] [6] sur wikipedia (Les versions anglophones sont bien meilleures) et quelques logiciels de vérifications, par exemple [8] [9].

[1] http://www.acm.org/press-room/news-releases/turing-award-07
[2] http://www.cs.cmu.edu/~emc/
[3] http://www.cs.utexas.edu/~emerson/
[4] http://www-verimag.imag.fr/~sifakis/
[5] http://www-verimag.imag.fr/
[6] http://fr.wikipedia.org/wiki/Model_checking
[7] http://fr.wikipedia.org/wiki/Logique_temporelle
[8] http://spinroot.com/spin/whatispin.html
[9] http://embedded.eecs.berkeley.edu/research/mocha/

> Lire le journal (14 commentaires, moyenne: 2,3).

Puisque c'est la mode de raconter sa vie. J'y vais de ma couche ;-)

Hier, je m'ennuyais en attendant le soir et l'interclub de squash et je me posais depuis un certain temps un question d'ordre théorique vis-à-vis du squash.

Un petit résumé des règles (européennes) de calcul des points du squash :
- On gagne un point uniquement quand on a le service sinon le service change de joueur
- On joue jusqu'à 9 (excepté pour le cas ci dessous)
- si on arrive à 8-8 le joueur qui n'a pas le service choisi soit de jouer jusqu'à 9 ou 10 points (il n'y a pas de règles de 2 points d'écart comme au ping-pong)

Ma question étant vaut-il mieux choisir 9 ou 10 points à 8-8 ?

Pour calculer tout ça, je me suis dit ça c'est un truc pour Mr Markov ( http://en.wikipedia.org/wiki/Andrey_Markov ) et ses fameuses chaînes :/ Hé oui, je m'ennuyais vraiment. J'ai ajouté une hypothèse qui me semblait plausibe :
- Un joueur avec le service à 60% de chance de gagner (sans 40%)


Modélisons tout ça sous la forme d'un graphe, les états représentants le tuple (score,service) noté par

8S-8 = score 8 à 8 service au joueur 1

Pour le cas, je vais jusqu'à 9, nous avons :

                                              0,4

                0,6               /---------->---------\                  0,6

9S-8 ----------<--------- 8S-8 |                        | 8-8S ---------->--------- 8-9S

/  \                              \----------<---------/                                   /  \

->-                                       0,4                                            ->-

  1                                                                                           1

Numérotons les états,
3) 9S-8
1) 8S-8
2) 8-8S
4) 8-9S

On obtiens donc la matrice de transition ( http://fr.wikipedia.org/wiki/Cha%C3%AEne_de_Markov ) suivante :

| 0   0,4 0   0 |

| 0,4   0 0   0 |

| 0,6   0 1   0 | = A

| 0   0,4 0   1 |

En partant de l'état 1, on a le vecteur initial :

| 1 |

| 0 |

| 0 | = X_0

| 0 |

Voyons, donc ce que devient ce vecteur en lui appliquant beaucoup de fois A (Pas envie d'étudier ça plus précisément, c'est fatiguant les valeurs propres, jordan et tout ça), c-à-d :
A^n X_0 = X_n
pour n grand.
Oh, miracle cela semble converger (bien oui semble, pas en vie de le prouver) :
A^n X_0 =~ (0 0 0,714 0,286)^T <--- ^T indique le vecteur transposé

On a donc ~29% de chance de gagner pour le cas jusqu'à 9.

Si on fait la même chose pour le cas 10 (le graphe est plus grand donc on va pas détailler, on obtient ~37% de chance de gagner.

La conclusion, il vaut mieux toujours choisir les 2 points.

PS: Désolé pour les < >, ils semblent complètements buggués

PS2: Pas de bol, je me suis fait écrasé hier au squash, donc pas de mise en pratique, je me suis retrouvé contre un ancien joueur (anciennement bien classé) qui recommence

PS3: Mon calcul est sûrement complètement faut car markov c'est très loin dans ma tête

> Lire le journal (21 commentaires, moyenne: 2,3).

Bonjour,

Il me semble que le thème des +/- est récurrent sur le tracker http://linuxfr.org/tracker/ .

Le cas qui nous intéresse est un problème de classification :
- Est-ce qu'un message est pertinent ou ne l'est-il pas ?
- Est-ce un troll ou pas ?
- Est-ce humoristique ou pas ?
- ...

Un grand nombre de nous utilisons tous les jours pour nos mails ce type de classification : spam ou pas spam. Donc, pourquoi ne pas utiliser cela sur les posts ?

Que pensez-vous d'utiliser un(des) filtre(s) bayesien ? Différentes classes (pertinent, troll, humour, ...) ? Est-ce que vous pensez qu'un tel filtre serait effectif sur les posts ?

Des exemples de code en GPL sont disponibles un peu partout http://www.xhtml.net/php/PHPNaiveBayesianFilter . Donc, l'implémentation ne devrait pas être une énorme tâche (le plus dur étant d'installer un templeet avec linuxfr au-dessus, au vu de la minceur de la doc ;-).

Anthony.

> Lire le journal (88 commentaires, moyenne: 2,7).

Bonjour,

Je suis à la recherche d'un balladeur supportant de préférence le OGG (et évidement Gnu/Linux via ums). J'ai déja un Iriver et j'en suis content. Y a-t'il des alternatives entre en-dessous des 200Euros ? Samsung ?

PS: C'est pour ma copine et elle apprécie assez bien le mini ipod rose (et oui ;-) mais le non support du ogg me dérange. S'il existe quelque chose avec le même look ce serait encore plus cool ;-)
PS2: Une recherche sur le forum ne m'a pas donné réponse

Merci,
Anthony.

> Lire le journal (17 commentaires, moyenne: 2,8).

Bonjour,

Pour les routeurs, pas de problèmes à trouver, le libre est plus que auto-suffisant. Mais du coté switching, c'est plus compliqué (Est-ce que ça existe en libre, d'ailleurs ?) : c'est du hardware en grande partie.

Au taf, je vis dans un monde peuplé de cisco. Et donc, je n'ai pas un aperçu global de ce qui existe. Je cherche des petits switches administrable supportant, notamment, les vlans 801.2q. J'ai fait un peu de recherche sur le web et malheureusement, il est assez difficile de dépatouiller le vaporware du réel.

Des retours d'expérience (Rapport qualité/prix, (dés-)avantages, ...) ?

Merci.

> Lire le journal (9 commentaires, moyenne: 1,7).

Bonjour,

Je cherche une carte mini pci ethernet 10/100 pour mettre sur une http://pcengines.ch/wrap.htm(...) .

Où puis-je acheter une tel carte sur le web (Bon marché et éventuellement dual/tri/quad port) ?

Merci.

> Lire le journal (9 commentaires, moyenne: 2,1).

Bonjour,

Je cherche à me faire une machine dédiée de très petite taille (plus petit que les boitiers mini-itx usuels). Le but étant de faire un firewall/router. Les caractéristiques que je recherche sont :
- Prix : 350Euros max (moins est mieux) ;
- au moins 2x ethernet (3x mieux) ;
- 1 usb ;
- Adaptateur compact flash avec possibilité de booter dessus (disk on chip ? Ou encore http://rc.ru/product-compactflash.php(...) ?) ;
- Peu gourmand en energie ;
- Eventuellement fanless ;
- Architecture supportée par debian.

En résumé la machine doit être un truc du genre :
http://www.digitaltechinc.com/iss-102.pdf(...)

Avez-vous de l'expérience avec ce type de machine ? Du retour ? Des conseils ?
Type de carte mère : Via/Netcom/Commell ?
Processeur : Via/Geode/... ?
Flash : ... ?
Boitier : ... ?
...

> Lire le journal (22 commentaires, moyenne: 3).

Bonjour,


Avez-vous déja eu l'occasion d'utiliser GNU/Bayonne ( http://www.gnu.org/software/bayonne/(...) )?

Qu'en pensez-vous ?

D'autres produits similaires ?


Merci d'avance.

> Lire le journal (2 commentaires, moyenne: 2).

Bonjour,

Je souhaiterais avoir peu de retour d'expérience avec les logiciels de Groupware :
- phpgroupware ;
- egroupware ;
- opengroupware ;
- ...

Ce qui m'intéresse principalement c'est :
- Libre ;
- Une très bonne gestion des calendriers ;
- Compatibles avec les clients mails/calendrier "grand public" (outlook, mozilla, ...) ;
- Synchro PDA du calendrier.

A priori opengroupware a ma préférence (excepté qu'il n'existe pas de paquet pour woody pour le moment, sarge et sid seulement. Mais bon ce n'est pas vraiment un frein).

Des retours ?

Merci.

> Lire le journal (6 commentaires, moyenne: 2,2).

J'ai l'habitude de faire mes achats de livres sur proxis.be et de regarder les critiques chez amazon. Généralement, les prix proxis sont 20% plus élevés que sur amazon mais je préfère acheter dans mon pays, la france ou l'europe (pour des raisons de facilités de recours en cas de problèmes et aussi un peu de chauvinisme).

Mais pour ces 2 livres la différence de prix est énorme :

"Basic Electronics" by Grob. 9TH edition McGraw-hill. ISBN 007827124X.

PROXIS Prix : 159.16EUROS
AMAZON : 122.15USD = 98.2584Euros

"GPS Satellite Surveying" by Alfred Leick. Wiley-Interscience. 3th edition. ISBN 0471059307.

PROXIS Prix : 155.99Euros
AMAZON : 108.75USD = 87.4823Euros

130Euros de différences.

Mes questions
- Où achetez-vous vos livres sur le net ?
- Quels sont les prix pour ces 2 livres ?
- Des conseils pour des ouvrages équivalents à ceux-ci que vous auriez lu?

> Lire le journal (9 commentaires, moyenne: 2,9).

Bonjour,

J'essaie de répertorier/comparer les solutions libres permettant le monitoring de grands réseaux (plus de 800 switches/routeurs, des 10zaines de proxies/firewall, des centaines de serveurs,...).

Dans le proprio, il y a notamment:
- HP OpenView ;
- Micromuse Netcool ;
- HP Trend.

Je voudrais être à même de remplacer tout cela par des solutions libres. J'ai déja jeté un oeil sur :
- Nagios :
Mais http://nagios.sourceforge.net/docs/1_0/int-snmptrap.html(...) : "Nagios is not designed to be a replacement for a full-blown SNMP management application like HP OpenView or OpenNMS. However, you can set things up so that SNMP traps received by a host on your network can generate alerts in Nagios. Here's how..."

- Mrtg :
Mais y a-t'il moyen d'être avertit quand une ligne commence à être surchargée ? Cad est-il possible de faire de l'inférence de traffic ?

Connaissez-vous d'autres produits ? (Genre Netcool, par exemple)

> Lire le journal (25 commentaires, moyenne: 1,7).

Bonjour,

Je voudrait mettre en oeuvre pour une ASBL (pendant begle d'une assoc. 1901), un système de vote électronique.

Avez-vous des expériences dans le domaine ?

Un vote au Condorcet me semble l'ideal. D'autre idées ? Méthodes ?

Quels logiciels utiliser ? Celui de debian ? Glasnost http://glasnost.entrouvert.org/(...) ? http://www.demexp.org/rubrique.php3?id_rubrique=2(...) ? autres ?

> Lire le journal (4 commentaires, moyenne: 1).

Ca me broute de voir ca au-dessus des pages :

http://ads.osdn.com/?ad_id=2355&alloc_id=5701&site_id=1&(...)

Et le pire c'est qu'on ne peut pas poster/troller dessus ! Ou qu'il est le thread de trollage ?

> Lire le journal (11 commentaires, moyenne: 1,6).