Je voulais vous faire part de ma fraîche expérience FreeBSD. Je ne sais pas si ça a sa place ici. Mais ça me semble important. Je voulais m'y mettre depuis longtemps mais j'étais échaudé par les fanboy *BSD avec le fameux troll « Linux c'est de la merde et personne ne s'en rend compte » et le « La liberté d'interdire doit être protégée ». En mettant ça de coté, j'ai décidé de m'y mettre ! J'espère ne pas dire (…)

Bonjour,
Je voulais juste vous dire que j'avais migré mon serveur jabber d'ejabberd vers prosody et je le ne regrette pas du tout. C'est un tout petit serveur à avec plus ou moins un seul utilisateur.

Je ne suis pas adminsys, j'ai découvers la configuration de ce genre de machine ne le faisant pour moi, et l'une de mes plus grandes craintes est d'écrire une connerie dans mes fichiers de conf qui introduira une grosse faille. Bref !

Avant j'avais ejabberd (…)

(Ségolène me manque)

Voila, je me demandais, considérez le brin de code suivant :

module Main where
import Graphics.UI.GLUT

main :: IO ()
main = do 
    _ <- getArgsAndInitialize
    _ <- createWindow "test"
    displayCallback $= clear [ColorBuffer] >> flush
--    displayCallback $= do clear [ColorBuffer] ; flush
    mainLoop

La ligne commentée me semblait équivalente à sa voisine du dessus, et pourtant la première ligne n'initialise pas le fond de la fenêtre crée, la seconde, oui. Comment ça ce (…)

Bonjour,

Je suis à la recherche d'un assistant de navigation personnel, pour la voiture.

Idéalement, une machine qui marche bien, dont toutes les mises à jour sont gratuites (cartes et firmware).

Et s'il est possible de mettre sous GNU/Linux, si en plus en plus ça tourne avec du logiciel libre c'est encore plus cool.

Les Garmins c'est bien ? Une application smartphone peut être ?

Bien à vous :)

Bonjour,
J'ai un serveur derrière une freebox v5 avec un IP dynamique et qui utilise le service no-ip.org pour le dns. Chaque jour l'IP change, et ça met parfois plusieurs longues minutes pour que le DNS soit mis à jour. J'ai pas du envie de flooder no-ip en mettant l'ip à jour toutes les 30 secondes.

Donc j'aimerais savoir si il y a un moyen pour détecter le changement d'IP efficacement et sans envoyer si possible 15000 requête pour ça sur (…)

Bonjour à tous,
J'ai un problème avec xmonad, présentement, la clé qui permet de le quitter (celle proposer dans le fichier de conf donné en exemple sur le site officiel) est plutôt brutale : ((modm .|. shiftMask, xK_q ), io (exitWith ExitSuccess)), exitWith se comportant basiquement comme le exit de C.

Les processus fils d'xmonad sont ensuite massacrés je ne sais comment, ce qui me pose problème c'est surtout firefox qui redémarre ensuite comme s'il avait été tué à (…)

Bonjour, je me demandais, concernant l'impossibilité d'avoir une démonstration de la consistance d'une théorie T dans T.
Est-ce qu'il y a besoin d'un raisonnement aussi complexe ? Ou bien il y a quelque chose qui m'échappe. Dans un système inconsistant il est possible de montrer le faux, et une fois le faux montré, on peux montrer n'importe quoi, comme la consistance par exemple. Donc pour toute théorie T, « T est consistant » est vrai.

Quand on dit "la cohérence est indémontrable (…)

Bonjour à tous,
Il m'arrive une chose étrange, par défaut, la livebox distribue des adresses 192.168.1.0/24 via DHCP. Par erreur, j'ai fais un ping sur 192.168.0.1, je m'attendais à avoir "host unreacheable" et ben non ! Voyez plutôt :

$ ping 192.168.0.10
PING 192.168.0.10 (192.168.0.10) 56(84) bytes of data.
From 80.10.125.137 icmp_seq=1 Packet filtered
From 80.10.125.137 icmp_seq=2 Packet filtered
From 80.10.125.137 icmp_seq=5 Packet filtered
From 80.10.125.137 icmp_seq=6 Packet filtered
^C

Il y a d'autres adresses en 192.168.0.x qui font (…)

Bonjour à tous,

Depuis deux ou trois ans, je rencontre régulièrement un bug avec bash, j'ai jamais fais de rapport de bug parce que je n'ai jamais réussi à le décrire, et parce qu'il est tellement énorme et courant que j'étais sûr que c'était vain, probablement bêtement.

Souvent (plusieurs fois par semaine) alors que j'édite une longue commande, le terminal ne revient pas à la ligne, je commence à taper une ligne, puis il continue en écrasant le début de (…)

Bonjour, voila ça fait plusieurs fois que je me pose cette question, que je fais quelques test sans rien trouver de concluant.
Lorsque vous avez à des calculs relativement simples à faire sur un octet, une fonction pure uint8_t (uint8_t); (qui ne fait pas plus de 20 instructions).
Quelle solution adopter pour la performance dans le cas général :

• une table ?
• un (gros) switch case, ça revient revient à mettre la table dans le segment texte mais est-ce que l'accès est plus (…)

Bonjour à tous,

J'écris ici car il y a quelque chose qui m'échappe totalement.
en adressage absolu, c'est pas compliqué.

movl data,%eax

en simili C
eax = *data

en adressage indexé non plus

movl 42(%esi),%eax

eax = *(esi + 42)

mais en adressage relatif, je suis perdu

movl data(%rip),%eax
#du code
#ici aussi
movl %eax,data(%rip)

La même instruction est utilisée, pour référencer le même endroit, (…)

Bonjour à tous.
J'ai un vieux eMac G4, les gros, avec l'écran CRT (et une carte nvidia geforce 2)

Il semblerait que ce fameux écran soit très particulier, impossible de configurer Xorg. je le lance, l'écran reste désespérément noir.

Avec Ubuntu 12.04 (que j'ai installé là) l'écran est parfaitement reconnus automatiquement, sans qu'il ai besoin de fichiers de configuration.

J'arrive pas non plus à générer un fichier xorg.conf, 'fin bref, j'arrive à rien, je désespère, j'ai essayé avec tout les (…)

Bonjour,

Je cherche à nettoyer mon répertoire maildir, particulièrement mon arborescence gmail que j'ai sauvé avant de fermer mon compte. Il y a un répertoire "tous les messages" qui comme son nom l'indique contiens a priori que des doublons. A priori…

J'aimerais savoir s'il existe des mails qui ne sont que dans ce répertoire pour une obscure raison.

Est-ce que vous savez un si un tel outil existe ? Un qui ressemblerait à foo "tous_messages \ (recus \/ envoyes)" et qui (…)

Bonjour à tous,

L'intégration de gdb dans emacs est plutôt chouette, cependant il y a deux détails qui me gênent concernant l'affichage des arguments des fonctions.

Dans emacs 23, le buffer stack affiche les arguments des fonctions, mais pas dans emacs 24. Est-ce qu'il est possible de retrouver ce comportement ? Le manuel est plutôt laconique. Il y a une option pour l'afficher ou non dans le buffer threads.

deux bouts du buffer stack

dans emacs 23 :
0  main

(…)

Bonjour à tous, j’apprends OCaml et je galère un peu avec les modules et les interfaces, par exemple, voyez ce petit bout de code :

module type Ai =
  sig
    type a
    type b
    val f : b -> a
  end

module A = functor (S:Set.S) ->
  struct
    type a = S.t (* le champ t d'un module Set est le type de l'ensemble, cf http://caml.inria.fr/pub/docs/manual-ocaml-312/libref/Set.html *)
    type b = S.

(…)