TeXitoi a écrit 358 commentaires

Ba, pareil, je maitrise pas trop OpenBSD, mais niveau sécu pour un site web, on fait difficilement mieux avec le chroot d'apache par défaut!

Pour mettre apache et php, j'ai absolument pas galéré. Pour les mod_truc, ca passe facile. Pour les vrais CGI, ca devient un peu plus sioux à cause du chroot. Pas essayé MySQL, mais avec les packages, ça doit pas vraiment être compliqué. Par contre, Debian est bien meilleur niveau gestion des mises à jours.

(Et pf, ca rox vraiment!)

Pourquoi tu fais pas ton serveur sur ton routeur? ca permet de mutualiser la conso électrique et de simplifier l'administration.

De plus, acheter un soekris, ca se rentabilise:

hypothèse : soekris 20W (grand max) et P3 100W (plus?)

différence de puissance : 80W

économie d'énergie sur un an : 80*24*365 = 700,8kWh

Prix du kWh : 0,1085¤ (avec abonnement sans heures creuses)

économies : 76,03¤/an

ça va vite...

Il faudrait un serveur tiers qui teste souvent l'acces au PC, et dans le cas de non réponse ou d'ordinateur non reconnu (clef ssh non valide par exemple), basculer sur une adresse invalide. Ca veux dire quelque chose d'extérieur, et que ca merde si les deux ordis tombent, et qu'il reste des cas où ça peut merder (bien que peu probable). Enfin, c'est pas une bonne idée à mon avis.

J'ai pas de nom de domaine pour le moment, j'utilise des boites chez no-log.org en imap ou webmail.

J'ai ca (via dyndns), et ca marche, mais c'est pas sûr. exemple :

Ma connection casse (des travaux coupent ma ligne).

assez rapidement (d'après des tests, environ une heure après), quelqu'un récupère mon adresse IP sur laquelle pointe mon serveur de mail. A ce moment, si on m'envoie un mail, cette personne le recevra (pour peut qu'il aie un serveur de mail qui prend tout). A ce moment, il peut se passer plusieurs choses :
- le mail est perdu de manière silencieuse, et en plus quelqu'un d'inconnue peut le lire;
- le serveur de mail envoie bouller le mail, et l'envoyeur recoit un message comme quoi l'adresse n'existe pas (alors qu'elle existe).
- il n'y a pas de serveur de mail, et alors, le mail sera renvoyer plusieurs fois, possiblement sur différents ordi possédant l'IP.

Bien sur, comme la connection est cassé, il n'y a aucun moyen de changer le DNS pour l'empecher de pointer sur un serveur possiblement inconnu.

Il faut configurer ton serveur de mail pour passer par le smtp de ton FAI en envoie. Premières lignes de /usr/share/sendmail/cf/openbsd-proto.mc :

dnl If you have a non-static IP address you may wish to forward outgoing mail
dnl through your ISP's mail server to prevent matching one of the dialup
dnl DNS black holes.  Just uncomment the following line and replace
dnl mail.myisp.net with the hostname of your ISP's mail server.
dnl
dnl define(`SMART_HOST', `mail.myisp.net')dnl

Il me semble que debconf demande si on veux faire ca pour la configuration d'exim. Mais bon, on ne peut pas faire un serveur de mail sans IP fixe, ca pose des problèmes d'interceptions des mails par des tiers en cas de panne machine ou réseau (quelqu'un risque de récupérer ton IP).

Une solution, c'est de prendre son chronomètre, de débrancher tout dans la maison sauf l'ordi, et de chonometrer le compteur électrique.

Perso, ca me donne :
- K6 166 : 80W
- Sempron 3200 (ia32) avec écran LCD 15" : 120W
- epia PD6000 avec neufbox : 20W

Bon, de memoire, ca fait un bout de temps que j'ai fait mes mesures...

Perso, mon serveur, c'est un http(s) (juste php dessus avec petits scripts perso sécure), ssh et smtp sous OpenBSD (sur l'epia). Pour le smtp, c'est pas utilisable à cause de pas d'IP fixe (si la connection tombe 2 heures, quelqu'un d'autre récupère l'IP...), pour le reste, pas de problèmes.

Le monde n'est plus limité à 80 colonnes et 24 lignes depuis bien longtemps :p (même dans un terminal, d'ailleurs...). C'est une limite tout a fait arbitraire aujourd'hui...

C'est pas un hasard ces 80 colonnes, ca permet à l'oeil de bien se repéré. Plus de 80 colonnes, et tu as du mal à voir les alignements...

De plus, une licence BSD pour ce genre de chose, permet à n'importe quelle logiciel d'avoir cette fonction de convertion, que ce soit proprio (pour mettre dans WordPerfect ou MS Office) ou une appli libre non compatible GPL (Au sens ne transforme pas le soft en GPL, donc la BSD n'est pas compatible GPL dans cette optique).

Donc une licence BSD me semble approprié, et même plus que la GPL. La LGPL aurait pu être recevable (mieu, la LGPL avec exception pour le lien static à la OCaml).

oui, ça existe vraiment. Un exemple (pour la cartographie) : http://wiki.openstreetmap.org/index.php/Copyright_Easter_Egg(...)

Aucune importance, c'est la fortune qui nous interesse.

snd_usb_audio
snd_intel8x0

Y'a deux cartes détectées, a priori, donc tu dois avoir branché les enceintes sur la mauvaise ou le son est coupé (alsamixer est ton ami).

Voir ici : http://aspell.net/metaphone/

Ba, moi, thésard en "informatique appliquée", on va dire. J'ai hésité entre enseignant et informaticien, mais j'ai mis enseignant, vu que je vise enseignant chercheur.

Depuis la version 21, il suffie de lancer un emacs 21 pour s'en rendre compte : l'écran affiche le "logo" d'emacs. Xemacs permet d'afficher des images depuis plus longtemps.

Non, c'est pas parce que le site est statique que c'est intégrallement géré à la main : dans notre cas, SENARI gère tout automatiquement et génère hors ligne les pages statiques, ce qui est bien différent de ce que tu dis.

J'ai pas dit le contrainre, ni que les tests unitaires ne servent à rien. D'ailleurs, j'en fait des tests unitaires en OCaml.

Mais, d'expérience, les tests unitaires sont beaucoup moins utile qu'en python : je n'ai jamais fait ressortir une erreur grâce à un test unitaire, car une fois que ca compilait, ca faisait ce que je pensais avoir programmé. Bien sur, il reste des erreurs parfois, mais ça a toujours été des erreurs dans des cas relativement complexes non mis en valeur par des tests unitaires.

Ensuite, un gros avantage des tests unitaires, c'est de pas tout casser accidentellement. Or, très souvent, une telle erreur casse directement la compilation.

Bref, à mon avis, les tests unitaires sont indispensable au développement en python, alors que ce n'est qu'un plus en OCaml.

Pour conclure, je pense donc que grâce à son typage statique fort, un programme en OCaml est plus fiable qu'un programme en python, pour répondre à « je ne vois pas en quoi un programme Python serait mois fiable qu'un programme Ocaml » (j'aurai dû préciser que je répondai à cette phrase).

Ba, le travail du chercheur, c'est de chercher (et de trouver, si possible), pas d'appliquer ses trouvailles. Une fois la publication disponible, les ingénieurs peuvent à leur guise utiliser l'idée.

Comme tu le dis, le problème, c'est pas vraiment que le chercheur ne cherche pas forcément à faire la promotion de sa recherche, c'est plutôt que personne n'en fait la promotion, et que personne ne va prendre les idées disponibles pour les appliquer.

En fait, c'est pas vraiment vrai : il suffie de voir les intégrations de Microsoft dans .Net des idées présentes dans OCaml, de regarder du coté de la recherche "appliqué", etc.

* Pour lever toute polémique : je déclare par la présente que je place toutes mes contributions à linuxfr.org (y compris les journaux, les dépêches et les comentaires) présentes, passées et futures dans le domaine public, j'abandonne tout droit d'auteur sur toutes mes contributions, j'autorise chacun à réutiliser, modifier ou redistribuer le contenu à sa guise, sans restriction, et sans obligation de citer la provenance;

La licence Art Libre est une licence copyleft, donc ca ne prend pas « j'autorise chacun à réutiliser, modifier ou redistribuer le contenu à sa guise, sans restriction, et sans obligation de citer la provenance; » car la licence de redistribution est imposé. Le plus proche serait une CeCILL B ou une CC by, mais dans les deux cas, on est obligé de citer la source. Autoriser à ne pas citer la source est impossible en france il me semble (enfin, c'est possible, mais sans valeur légale).

en python :

>>> if 1 > 2:
...     "toto" + 1
... else:
...     1 + 1
... ^D
2
>>> 

en OCaml :

# if 1 > 2 then
    "toto" + 1
  else
    1 + 1;;
This expression has type string but is here used with type int
# 

("toto" est souligné) Donc on voit bien qu'en python, le code marchera jusqu'au jour où le test donnera "true", alors qu'en OCaml, il ne compile même pas...

C'est un window manager dynamique, comme larswm et wmii, ce qui ne convient pas à l'auteur, ni à moi, d'ailleurs.

Sinon, dans le même genre, il y a dwm http://www.suckless.org/wiki/dwm (dont est inspiré xmonad) qui est un wmii en simple, orienté "configuration à la compilation". Même problème d'un point de vu fonctionnalité.

C'est comme ça depuis un certain temps : http://linuxfr.org/2006/05/17/20827.html

Comme ta^WSarko

tu remount / en ro, et tu peux faire ton tune2fs tranquille, puis rebooter. Mais je te conseille quand même d'être à proximité « au cas où ». Déjà utilisé pour faire un fsck sur un disque dont le binaire était sur ce disque.

autant utiliser un vrai système de vote :
http://fr.wikipedia.org/wiki/Syst%C3%A8me_de_vote
http://fr.wikipedia.org/wiki/M%C3%A9thode_Condorcet

Mais bon, c'est trop compliqué pour le rendre populaire...

Ca reste du reverse engineering sur les pilotes nvidia, vu qu'on annalyse la sortie du driver (les registres de la carte) en fonction des entrées au driver (l'appli OpenGL).