gawal a écrit 78 commentaires

Si tu as un alias sur gedit, tu peux toujours lancer l'original avec:

\gedit

Un window manager orienté clavier.
http://modeemi.cs.tut.fi/~tuomov/ion/
Dans le même genre, il y a wmii
http://wmii.de
Ce genre de wm demande un temps d'adaptation mais après c'est d'une efficacité rare.

Le probleme avec des programmes prouves en coq, c'est que si coq a est buggé, il peut certifier correrts des programmes buggés.
Une bonne partie de coq est elle meme prouvee a l'aide d'un noyau de coq mais de ce noyau, on sait juste qu'il est coherent, pas forcement correct.
Mais bon, quand on connait les gens qui devellopent coq (lNRIA - Logical), on peut avoir une certaine confiance dans la chose.

Encore une remarque pour la refcard vi : trois commandes que j'utilise frequemment n'y sont pas.

- == pour l'indentation
- gqX pour tronquer le texte
- * pour chercher le mot sous le curseur

Sinon, c'est du bon boulot, bravo.

En application de ce principe (enfin surtout des equations de Maxwell), j'etais tombe sur un exercice de colle amusant en prepa :

Une voiture roule a la vitesse de 100 km/h quand soudain, les freins lachent. Heureusement, le conducteur a la bonne idee d'allumer ses phares avants. Calculer la distance mise par la voiture pour s'arreter.

Bien entendu, la voiture roule sans frottements, sinon ils auraient bien vite fait de l'arreter. Pour l'application numerique, je n'ai plus les chiffres en tete, je vous laisse mesurer vos phares/peser votre voiture.

Mais a ce moment la, il perdra les operations arithmetiques et la conversion facile vers/depuis int (qui est souvent utile pour lire/ecrire des nombres). Bref, c'est un choix a faire mais il me semble qu'il y a rarement a gagner a optimiser ce genre de choses (toujours hors tableau). Il y a plutot un risque de ne plus rien comprendre : par exemple, si ce nombre represente l'etat d'un automate et que tu utilises un unsigned char, le jour ou tu tombes sur un automate a plus de 256 etats, tu risques de mettre un certain temps avant de comprendre ou est le probleme (pas d'erreur a la compil ni a l'execution, juste un resultat faux).

Unsigned char permet aussi de representer un entier contrairement a ce que son nom laisse supposer.
Sinon, la plupart du temps, le compilateur arrivera a se debrouiller de maniere a ce que ton chiffre ne passe pas par la memoire et reste au niveau registre. A ce moment, mettre int marche tout aussi bien. Je conseillerai donc l'usage de int la plupart du temps et d'autre type seulement si tu les employes en grande quantites (typiquement un tableau d'entiers).

Derniere chose, les valeurs precedentes sont justes la plupart du temps (x86) mais apres ca depend des processeurs et pas seulement de leur caractere 32/64 bits.

Pour l'avoir essayé sur mon laptop (900 MHz, 256 Mo), j'ai trouvé ce patch tout sauf convainquant. La lenteur de la chose fait que je suis vite retourné au metacity original.

La page web du driver avec des patchs pour les noyaux 2.4 et 2.6 : http://www.hailfinger.org/carldani/linux/patches/forcedeth/(...)
C'est intégré dans le noyau depuis la 2.6.2 si mes souvenirs sont bons.

Une librairie sympa pour le p2p : jxta ( http://www.jxta.org(...) ). A la base concu pour java, il y a maintenant des bindings pour plein d'autres langages. D'experience (jxta 1.0 et java), c'est très stable mais pas super rapide.

Compte entre 500 et 600 euros pour le prix. Pour la distrib', c'est à toi de voir selon tes habitudes. Pour l'interface, il y a maintenant de très jolis softs comme freevo http://freevo.sourceforge.net/(...) ou MythTV http://www.mythtv.org/(...)

Tu peux toujours récuperer tes bookmarks via http.

Les seules choses que tu ne peux pas récuperer comme ca, ce sont les sources de tes scripts (php par exemple). Mais pour simplement synchroniser des fichiers, ca ne pose pas de problème (même pour les .php, tu peux les renommer en .txt mais bon, tout le monde pourra les lire).

Tu trouveras des renseignements sur les trolls la : http://fr.wikipedia.org/wiki/Troll_(Internet(...))
Quand à poser des questions comparant des distribs sans faire de troll, ca parait difficile mais un bon début serait de ne pas préciser de distribution puisque tous les softs se retrouvent sur toutes les distributions (à compiler toi même dans le pire des cas).

Il manque quand même des choses un petit peu plus récente comme le pacte entre sun et microsoft.

Tu as sans doute mal lu la question. Ce n'est pas parcque emacs est donné comme première réponse que ce qui était demandé est un système d'exploitation. La recherche porte sur un éditeur, fonction que emacs pourrait remplir.

Ou si ton ordi est assez récent pour booter sur une clé usb, directement distrib sur la clé comme damnsmalllinux ou flonix.

Une chose amusante qu'on ne sait pas calculer : c'est l'arrêt d'un programme informatique. Il n'existe pas de programme informatique qui prenne en entrée un code source et te dit s'il termine ou non. Et le plus intéressant, c'est qu'on peut démontrer qu'on ne pourra jamais écrire de tel programme. Cela vient du fait que l'arrêt d'une machine de Turïng est un problème indécidable.

Pour utiliser les 10 doigts, le problème est plus les pouces que les petits doigts : les pouces servent à la barre espace mais bon, un seul suffirait.

Dans l'article yahoo, j'adore le Sur un seul ordinateur, les enquêteurs ont découvert 65.000 différents fichiers, a-t-il expliqué..
Oulala, ca doit bien représenter une version de Windows piratée ca.

C'est même déja le cas dans la version CVS avec l'option --with-gtk. Chez moi, ca fonctionne nickel et c'est très zoli (enfin autant que gvim).

Ca me parait bien énorme comme statistique : sur tous les francais que je connais bien (largement une cinquantaine), aucun ne possède d'arme à feu. Après, c'est peut être un question de milieu, mais 1/3, ca fait qd même beaucoup.

Ca marche pas de remplacer ca par p+=sizeof(int); ?

C'est quoi un GUI autonome ? Si Firefox c'est autonome (et il me semble que c'est le cas) alors XUL convient. Apres, on en revient au problème dépendance ou de (gros) binaires liés statiquement.

J'ai eu le même problème dans les même circonstances (béta 3 puis unstable). J'ai viré le package (apt-get remove) puis l'ai reinstallé et tout a fonctionné ensuite.

Je te conseillerai plutot sid, tu n'as quasiment pas besoin de plus de compétence que pour une woody : quand un paquet est cassé (très très rare, ca m'est arrivé une fois en un an), c'est réparé le lendemain.
Sarge est a déconseillé, tu trouveras moins facilement de l'aide qu'avec une woody et certains paquets mettent beaucoup de temps à passer (par exemple, pour gnome 2, ca a pris plus de six mois).
Dernière chose, installer un nouveau noyeau est très facile même s'il n'est pas officiellement dans debian grace à make-kpkg.