태 a écrit 1743 commentaires

Reponse 1 :
%ocaml
Objective Caml version 3.08.2

# (* fabriquons une fonction qui calcule 2^n,
comme je suis deforme, je l'appelle exp *)
let rec exp = function
| 0 -> 1
| n -> 2*(exp (n-1))
;;
val exp : int -> int = <fun>
# exp 3;;
- : int = 8
# exp 64;;
- : int = 0

Conclusion: 2^64 vaut 0.

Reponse 2 :
Une rapide demonstration par recurrence montre que pour tout nombre entier n superieur a 64, 2^n vaut 0.

Reponse 3 :
%ocaml
[..]
# let rec fibo = function
| 0 -> 1
| 1 -> 1
| k -> (fibo (k-1)) + (fibo (k-2))
;;
val fibo : int -> int = <fun>
# fibo 1;;
- : int = 1
# fibo 10;;
- : int = 89
# fibo 100;;
- : int = 277887173
En un temps certain

Remarque : une fonction de complexité linéaire en l'entrée qui mettrait le meme temps que fibo sur l'entree 1 mettra egalement le meme temps certain sur l'entree 277887173.

Donc les fonctions a complexité linéaire sont à proscrire ?

C'est étonnant cette façon de dire "faire ca, c'est exponentiel, donc c'est pas possible" (je schematise bien sur). Si c'est exponentiel, c'est juste que c'est inefficace, mais dans la mesure ou verifier le code sera a faire une fois pour toute pour un code reutilisable a l'infini, ce n'est pas totalement redhibitoire.

Apres, si tu veux aller plus loin, tu vas t'apercevoir que savoir si un programme fait bien ce que tu veux est indécidable, et là, ça devient vraiment embetant, mais encore une fois, il y a des gens que ca ne gene pas (les editeurs d'antivirus par exemple)

A priori, s'il te dit qu'il va juste supprimer les 3 paquets kde, juk et kdemultimedia, c'est qu'il ne te supprimera rien d'autre. Donc tu auras encore kde (le programme, pas le paquet). Le paquet kde, c'est un truc qui dit simplement "installe moi toutes les aplis kde standards que le kdeiste moyen il veut avoir", le vrai paquet qui fait les choses, ca doit etre kde-core.

(voir packages.debian.org/kde )

Dans LCEN, le C represente confiance.

Sinon, sur la page que tu donnes, ils font reference a l'article 6, paragraphe III. 1 qui dit beaucoup de choses [1], mais dont le contenu est en gros, si tu fais un site a destination du public, tu dois avoir en clair (en format ouvert) ton nom, la raison sociale de ton entreprise, le nom des redacteurs, directeurs de publication, ce genre de choses.
Donc non, ca dit pas que itunes est illegal, juste que si tu fais ton site en flash, tu dois mettre des infos lisibles en plus.


[1] http://www.legifrance.gouv.fr/WAspad/UnTexteDeJorf?numjo=ECOX020017(...)

> j'utilise mldonkey avec son fidele destrier, Sancho.
A priori, c'est plutot l'ane le destrier que ce brave (?) sancho.
Enfin, c'est celui qui est en dessous quoi, donc le mlnet dans ce cas precis, l'interface graphique etant dessus

Non, ca ne s'applique pas qu'a l'aviation, tu n'as pas compris le principe.
C'est genre, si renault rachetait valeo, les autres constructeurs devraient passer par renault pour s'approvisionner en pieces, ce qui est genant.
C'est pour des raisons de cet ordre que coca n'avait pu racheter perrier (qui etait distributeur de pepsi en france).
C'est pas de s'agrandir horizontalement (renault achetant des groupes fabriquant des voitures nissan) mais verticalement (controler les fournisseurs) qui pose probleme

Voui, enfin, les failles de securite de mon windows, elles ne sont effectivement corrigees que si je le demarre et que j'ai pas la flemme de cliquer sur "oui, je veux que tu installes" puis sur "recommencer, j'ai pas reussi a telecharger les paquets" jusqu'a ce que ca marche. En un mot, depuis septembre, y a des mises a jour de securite a faire (j'ai mis un service pack nouveau quand meme), mais la fois ou j'ai accepte de les installer, il n'y est pas parvenu.

(a la "le patch existe, mais il n'est pas encore integre dans les paquets compiles pour votre distribution, mais comme vous etes un bourrin de base, vous allez y aller a la main", et ben sous windows, je sais pas faire le bourrin de base et patcher les sources du noyau (ah, c'est pas possible ?)

Riga capitale d'un pays de 2.000.000 d'habitants.
Turku, ville de 100.000 habitants

Bref, que du gros calibre.

Moui, que tu trouves la Lettonie ridicule, je veux bien, mais bon, c'est un pays qui en 10 ans est passe de niveau 0 a niveau d'informatisation decent.
Quant a Turku, c'est quand meme une des plus grandes villes de Finlande (l'ex capitale meme), sa population est plus proche de 200000 habitants que de 100000, et la Finlande, il me semble qu'il y a des gens assez connus dans le domaine du logiciel libre qui en viennent (celui qui donne son nom a linux par exemple...)

Bref, c'est peut etre pas Munich mais c'est pas pour autant negligeable, si toutes les villes de moins de 300000 habitants de France choisissent blip, blip representera plus de 50 millions d'habitants...

humm, la page de forums donne dans le journal n'etant d'aucun interet, regardons le site avec des screenshots
http://www.picasa.com/features/index.php(...)

Bon, ca doit etre une sorte de kimdaba / iphoto.

ca laisse plein de bazard dans .gnome2 (ou un de ses congeneres)...

Humm, je suis pas sur que le bouton ideal soit cliquable. La souris, c'est vraiment le truc pas naturel dont tu te demandes comment on peut reussir a l'utiliser : tu bouges ta main et c'est un truc loin, qui n'est meme pas visible simultanement qui se deplace de facon plus ou moins coherente avec ton mouvement de main (genre tiens ta souris de trois quart et tu vas rater tout ce que tu entreprends....

Ah tiens, c'est sympa goobox, je ne connaissais pas, enfin, a part pour les pochettes, je prefere sound-juicer. Btw, les pochettes, il les sauve dans les tags ou bien c'est juste pour son petit plaisir a lui ?

Et sinon, meme reproche qu'a sound-juicer, je veux faire des mp3, j'ai installe lame, comment je lui fais comprendre sur ma debian que plouf, il peut faire des mp3 ? En fait, le reproche, c'etait, mes mp3, je veux pas qu'ils soient en bitrate constant, je les veux dans le style de ce que donne lame quand je fais -h -V 3. Bref, je continue d'utiliser grip meme si je deteste son interface, (on peut pas changer les noms des pistes avant de ripper !)

doodle.
C'est un truc qui existe deja et qui en gros est un equivalent de locate mais qui regarde dans les meta-donnees des fichiers. Donc c'est rate pour le pdf, mais si tu lui dis "doodle Spielberg" et que tes films sont bien indexes, hop tu as ta liste des films de Spielberg

> Exit (que j'utilisent très rarement vu que j'éteins pas souvent la box).

Ah tiens, moi, je n'utilise pas exit quand j'eteins, je fais un sudo halt dans un xterm (et a part dans gnome, ca ne pose pas de probleme)

Par contre, comme il arrive a ma machine de vivre sans que je sois aupres d'elle, je me sers du bouton exit pour me deloguer...

> (ah, les envois de fromage réguliers...).

Allons allons, il faut manger le fromage local (meme si les autochtones croient que ca n'existe pas), le veritable camembert d'Hokkaido, c'est comme du vrai camembert, mais en plus petit et jamais il est fait... Et avec du "pain parisien" (ah, le pain, jamais j'en ai trouve qui ne soit pas caoutchouteux), tu as un petit dejeuner a la franchouillarde parfait.

pour eviter de retenir une dizaine de touches differentes, il y a apwal

Alors, je fais un alt-x et hop, j'ai les icones de lancement de ce que je voulais lancer.

A ma connaissance, vi ne fait pas la coloration syntaxique.
Mais vim, si.

Et attendre de cat, more ou meme less qu'ils le fassent, c'est leur demander beaucoup. perso, quand je veux de la coloration, je lance view (qui est un alias de vim en mode lecture seule). Ca prend pas des heures a se lancer et c'est pas super long a taper.

sinon, pour les tabulation, au lieu de cat, utilise
sed 's/ / /g'
(ou le premier espace est une tabulation, ce qui s'ecrit en faisant control-v tab)

" le format XML validé par la Direction des Journaux officiels."

> Bon, vu que tu n'as pas fait le moindre effort de recherche (taper cygwin dans google par exemple)

Ou alors 'man X'.

Sinon, je pense que le truc, c'est "on lance un Bash", tu peux utiliser le scrit startxwin.bat; tu le polis un peu et il te lance un bash (dans un xterm) en meme temps que le serveur X en mode rootless (integre au bureau windows).

A priori, MSS2, c'est le dernier format d'encodage de video pour windows, aussi connu sous le nom "Windows Media Video 9 Screen".

Et mon mplayer n'arrive pas a lire celui dont tu donnes l'url. Et pourtant, j'ai mis les derniers codecs non libres proposes.

ils prononcent ca au plus pres de comme tu devrais prononcer howl.

> ce qui [..] représente 40% de son coût total.

Si la taxe représente 200% du prix que tu paies le dvd, il y a comme un probleme. (le vendeur reverse a l'etat 2 fois ce que tu paies)

Si la taxe est de 200%, cela veut dire qu'elle represente en gros 65 % du cout total.

Ca a un lecteur de cd un ecran plasma ? Ca a une connexion reseau ?
Ca a un processeur connu ?
Sinon installer linux sur un ecran plasma risque d'etre difficile. (meme netbsd risque de ne pas etre porte pour les ecrans plasma)

Non, de meme que l'auteur d'un logiciel y garde un droit d'auteur, les profs ont les droits d'auteur sur leurs cours (sinon, tu ne trouverais pas de bouquins de cours de prepa/universite faits par M. Machin Professeur au prestigieux lycée XXX ou Professeur d'Université...)

Pour les theses, cela dit, la soutenance est publique. La publication du memoire par contre pas necessairement.

Une des priorités d'un homme est d'assurer l'avenir de ses descendants. Ecrire ne nourrit que peu d'hommes, et pourtant certains en font leur travail. Si son oeuvre est reconnue apres sa mort, il est relativement normal pour un auteur que ses enfants puissent profiter de son epargne.

sinon, tu devrais aussi fixer les droits de succession a 100%, comme ca, les heritiers, qui n'ont aucun merite dans ce qu'ont fait leurs parents ne benificieraient pas d'un revenu immerite.

(en clair, je ne trouve pas qu'on doive s'offusquer que les heritiers puissent beneficier de ce qu'auraient eu leurs parents s'ils n'etaient morts)