Hein ? Tu m'explique en quoi c'est de la fumette ? C'est totalement du domaine du réalisable :
Un système de fichier avec FUSE qui n'a qu'un seul fichier et qui quand tu écris dans ce fichier, il passe le flux a mplayer qui se chargera de détecter comme il sait bien le faire le format de fichier et de le jouer. Si tu me crois pas, essaye juste ca :
cat fichier_audio_de_ton_choix | mplayer -
Convaincu ?
Quand au Hurd, on en pense ce qu'on veut mais y a de tres bonnes idées dedans dont a mon avis la plus notable sont les translators. C'est facile de critiquer mais faites donc votre OS si vous trouvez ca si facile. Y en marre de ceux qui ne savent que critiquer sans pondre une ilgne de code.
Certes mais rien n'empêche que le système détecte le format de fichier genre avec la lib magik, le traduise en wav a la volé et l'envoie dedans. Il me semble que ceux qui bossent sur le Hurd avaient ce genre de trucs en tête il y a quelque temps.
D'après ce que je vois autour de moi, c'est presque insultant pour une fille de passer pour une geek. Depuis l'enfance on nous a mls dans une catégorie Homme ou Femme avec une façon bien précise de se comporter pour être un homme comme il faut ou une femme comme il faut et être ainsi bien intégré dans la société. S'écarter a ces critères c'est prendre le risque d'être rejeté.
On est d'accord c'est de la merde mais ca reste présent dans l'inconscient collectif. Le cliché du geek asocial, mal lavé, anti-sexy, qui ne sait parler que de son domaine est déjà pas flatteur pour un homme mais c'est a l'opposé de tous les stéréotypes de la femme comme il faut. Les humains étant principalement des moutons voulant le rester, la réaction de la majorité est de rejeter tout ce qui va contre.
Il suffit de dire a un mec qu'il est geek puis faire de même avec une fille pour observer les réactions. Essayez ensuite en disant au mec qu'il est coquet et faites de même avec la fille. Simple questions de normes sociales.
Je ne nie pas les cas de discrimination, il en existe comme partout ailleurs mais on ne peut pas expliquer ces chiffres par la seule discrimination.Tant que ces stéréotypes seront présent et que les geek auront aussi mauvaise réputation, ca risque pas de s'arranger.
Quand à la différence Libre/Proprio, il est clair que les libristes ont une bien plus grosse image de geek que dans le proprio.
Le saut dans KDE4, je dirais plutot pour l"instant dans KDE4.0, c'est surtout les effets de bureau, mais tu peux les désactiver. C'est normal de se dotter de ses effets, ils sont de plus en plus demandé et je dois bien l'admettre, c'est ben pratique, mais en les désactivement mon KDE4.0 ne consomme pas plus que KDE3. Et de toute manière pour l'instant beaucoup d'applications KDE n'ont pas franchi le saut donc kword, c'est encore du 3.
Avec la GPL tu n'as pas la liberté de passer le code en proprio, ce qui augmente la sécurité du projet (évidemment pas en terme de sécurité informatique, mais de vie du projet).
Un jeune influençable tombe sur un chan néonazi, si rien ne condamne ces propos il fait comment pour savoir que ce sont de grosses conneries et que non, les juifs ne sont pas responsables de ses malheurs ?
En éduquant, informant, débattant, etc ... La xénophobie EST présente, interdire les propos ne la fera pas regresser mais la rendre plus discrète, plus insinueuse. Faire comme si elle n'existe pas nous rends incapable de savoir la combattre quand il le faut, et c'est là que des gens se laisse séduire.
Laissons les s'exprimer, laissons les exposer au grand jour leur haine et leurs conneries. Quant à nous, informons, éduquons, aidons les gens a développer leur sens critique et voir clair dans leur jeu. C'est ainsi que nous permettrons aux gens de voir la violence et la stupidité de leur propos, et de ce fait, les refuser d'eux même.
Il me vient en tête une analogie: celle des infections. Nous vivons en permanance entourés d'agents pathogènes: bactéries, virus, etc ... Et c'est en vivant dans ce milieu "dangereux" que notre a corps a appris a ce défendre en développant son système immunitaire. Quelqu'un qui aurait toute sa vie durant vécu dans une bulle stérille, et qui un jour voudrait sortir dehors comme nous tous. Tu donnerais combien d'espérence de vie?
La première règle de sécurité (informatique) que j'ai apprise est que l'a sécrurité par l'obscurantisme n'est pas de la sécurité! Une vraie sécurité vient par une connaissance réelle des risques et une vraie défense.
T'as vu la tronche qu'ils ont après ce régime ? :-)
Et en plus, y'en a même certains qui passent leur temps sur des sites communistes de secte avec des manchot et des gnu comme gurus. Et vous avez pas vu la tronche de leur pc, y a rien qui marche dessus. Ils passent leur temps a raller que c'est pas "compatible" et pester contre de braves sociétés oeuvrant pour le bien être collectif. Ils peuvent pas faire comme tout le monde non?
Désolé je vous laisse c'est l'heure de la prière.
Notre Billou qui êtes a Redmond
Que ton OS soit omnipresent
Que les dollars viennent
Vista!
Elle est pas un peu foireuse la physique de Bike-mania. Dans Xmoto tu vois que c'est de la vraie physique, et les niveau sont bien plus complexes.
options pour enlever les niveaux non adaptés à des enfants
Sérieux? Il y a des niveaux adaptés aux enfants dans Xmoto? Par enfants je veux dire moins de 7 ans parce qu'après ils sont aussi bon que les adultes mais un enfant de 4 ans par exemple, je le vois mal manier la moto, même sur des niveaux simples.
Mon dieux, des criminels utilisent internet! Il faut interdire intenet! Les criminels respirent de l'air ... il faut détruire l'air (on me souffle dans l'oreillette que c'est déjà en cours)!
C'est avec ce genre de raisonnement irrationnel que passent toutes ces lois lierticides qui sans être efficace nous pourrissent chaque jour un peu plus la vie.
Une manière élégante et très puissante de gérer les execptions est d'utiliser des monades. Le concept brièvement c'est :
Une fontion f d'un type A dans un type B qui peut générer une exception de type C peut être vu comme une fonction sans exception du type A dans le type "une valeur B ou une exception C". Mettons qu'on ai deux fonctions comme ca: f et g que l'on veut composer ou executer séquentiellement, l'idée c'est d'avoir un opérateur (disons >>= ) pour lier les deux (f >>= g) de telle sorte que si f renvoie une valeur B on passe a g et si elle renvoie l'exception, on n'execute pas g et on renvoie directement C.
Est ce que les block de Lisaac peuent être vu comme des fonctions anonymes ? Si oui Lisaac devrait le supporter et donc avoir des exceptions. Je suis tombé sur un article intéressant décrivant des monades pour Ruby [1], comme quoi les monades sa sert partout.
Il va falloir de plus en plus s'orienter vers des réseau comme freenet pour la publication de contenu.
Il le faudrait déjà. Combien ont eu des représailles suite à des propos contre leurs employeurs, gouvernements, etc ... ? Malheureusement quand ces réseaux auront pris de l'importance, ils seront interdits. On est déjà clandestin pour lire des contenus totalement légaux sous système libre, je ne doute pas qu'on le sera également pour vouloir s'exprimer libement.
KMail est vraiment très bien mais je le trouve relativement instable, surtout avec opérations sur un nombre important de mails. Dès que je veux déplacer, supprimer, copier, une centaine de mail, les chances de plantage avoisinent les 100%. Un autre défaut est que lors d'une opération, l'UI est quasiment figée.
Sinon ce que je trouve génial avec KMail c'est la richesse de sa configuration, pouvoir simplement creer des identités. Au début je suis passé à KMail parce qu'un de mes comptes mail avait deux addresses, c'était le seul qui savaient le gérer, les autres clients me foçant à avoir "un compte/une addresse".
Posté par GTof .
En réponse au journal Suck my geek.
Évalué à 4.
Sur ce je ne vais pas de ce pas le regarder .... flash oblige ! Même si les dev de Gnash font un super boulot, flash c'est pas libre et c'est pas en 64bits ! Bref pas encore réussi à faire marcher du flash sur ma bécanne ...
Je me souviens d'une époque ou quand on évoquait ces réseaux on se faisait traîter de paranoïaque, mais vu l'éffort intense que mettent nos chers gouvernements à promouvoir ces réseaux, on va finir par y arriver massivement.
Ca m'avait agréablement surpris de voir le support d'I2P dans Azureus, et encore plus de voir des gens normaux (comprennez non-geek) en parler. Une chose que je regrette c'est que GNUnet ne soit pas plus connu/utilisé, c'est vraiment un bon réseau bien foutu et qui marche bien, GNU oblige c'est entièrement libre, malheureusement il ne bénéficie pas de la notiéré des autres.
En gros ce que tu proposes c'est une sorte de classe de licence ou chaque partie d'un projet serait sous une sous-classe de la licence du projet. C'est intéressant mais je n'ose imagner le bordel que ca ferait :
- le fichier en bidule.c est sous quel licence ?
- ca dépend, la ligne 1 à 10 est en GPL, mais la ligne 11 à 17 est en BSD sauf le milieu de la ligne 15 qui lui est en CeCill, .....
Plus j'y réfléchis et plus je me dis que Debian et Gentoo ne sont pas comparables dur laquelle est la plus libre tout simplement parce qu'elles visent toutes deux deux plan de liberté différents: la liberté des logiciels pour Debian et la liberté de l'utilisateur pour Gentoo.
En ce qui concerne la liberté des logiciels, Debian est irréprochable. Je vois Debian comme une distro clef en main avec une volonté forte de n'avoir QUE des logicies libres, et pas demi-lires, lires à 100%, voir l'exemple Firefox/IceWeasel pour s'en convraincre.
L'objectif de Gentoo est quant à elle la liberté de l'utilisateur. Sous gentoo, vous faites ce que VOUS voulez, les outils de la distrib ne sont là que pour vous y aider, pas pour prendre des décisions à votre place! Je vois Gentoo comme une LFS avec des outils pour me faciliter la vie.
SI vous voulez un système personnalisable à volonté, où vous avez facilement un contrôle sur tout, Gentoo est pour vous. Si vous voulez un système le plus libre possible en laissant le système prendre les décisions pour vous, Debian est pour vous.
Alors se demander laquelle des deux est la plus libre .... je dirais LFS sans aucun doute.
Pas du tout, et même pas dans le cas que je cite. Un type de liste indexé par un entier n'est pas un type liste indexé par le type entier (int) mais par des valeurs de type entier. C'est a dire que la liste vide est de type "('a,0) list" et que le constructeur "::" est de type "'a -> ('a,n) list -> ('a, (n+1)) list". Et oui le "n" est bien une *avleur* entière qui dit que la liste est de taile "n".
Ceci est impossible à faire en OCaml ou Haskell, c'est bien pour ca que des gens développent Concoqtion, Cayenne, Epigram, Twelf, etc .... Si c'était si trvial je pense pas que tant de gens se ferait chier pour rien.
Le langage le plus sécurisé que je connaisse c'est Coq [1]. Je cite :
"Coq est un système de manipulation de preuves mathématiques formelles; une preuve réalisée avec Coq est mécaniquement vérifiée par la machine"
" Coq intègre aussi [...] un mécanisme d'extraction [qui] permet d'engendrer automatiquement des programmes certifiés en Objective Caml, Haskell ou Scheme à partir de preuves de leurs spécifications."
Niveau sécurité c'est béton, vôtre programme fait exactement ce qu'il est censé faire, vous l'avez prouvé.
Si vous trouvez cette approche trop violente, vous pouvez regarder du coté de Conqoction [2]. Concoqtion est une extention de MetaOCaml qui est elle même une extension d'Objective Caml. Elle permet d'avoir un système de type très riche appelé types indexées. Par exemple vous pouvez indexer le type des listes par le nombre d'élements dans une liste, ainsi vous pouvez spécifier une fonction sur des listes non vides, des listes qui ont un nombre pair d'élements, ect ...
La vérification des types est fait par inférence autant que possible et par des preuves que vous pouvez faire en Coq.
Il est certes plus complexe de programmer dans ces langages que de pisser du code en priant pour que ca ne merde pas mais la sécurité est bien souvent à ce prix.
[^] # Re: Deux choses:
Posté par GTof . En réponse au message Linux, Ext3 et disque plein.. Évalué à 1.
[^] # Re: wav?
Posté par GTof . En réponse au journal De la musique expérimentale en ligne de commande. Évalué à 2.
Un système de fichier avec FUSE qui n'a qu'un seul fichier et qui quand tu écris dans ce fichier, il passe le flux a mplayer qui se chargera de détecter comme il sait bien le faire le format de fichier et de le jouer. Si tu me crois pas, essaye juste ca :
cat fichier_audio_de_ton_choix | mplayer -
Convaincu ?
Quand au Hurd, on en pense ce qu'on veut mais y a de tres bonnes idées dedans dont a mon avis la plus notable sont les translators. C'est facile de critiquer mais faites donc votre OS si vous trouvez ca si facile. Y en marre de ceux qui ne savent que critiquer sans pondre une ilgne de code.
A bon entendeurs, bonsoir.
[^] # Re: wav?
Posté par GTof . En réponse au journal De la musique expérimentale en ligne de commande. Évalué à 1.
# Stéréotypes
Posté par GTof . En réponse à la dépêche 2% de femmes dans le développement de logiciel libre - 10 propositions pour y remédier. Évalué à 3.
On est d'accord c'est de la merde mais ca reste présent dans l'inconscient collectif. Le cliché du geek asocial, mal lavé, anti-sexy, qui ne sait parler que de son domaine est déjà pas flatteur pour un homme mais c'est a l'opposé de tous les stéréotypes de la femme comme il faut. Les humains étant principalement des moutons voulant le rester, la réaction de la majorité est de rejeter tout ce qui va contre.
Il suffit de dire a un mec qu'il est geek puis faire de même avec une fille pour observer les réactions. Essayez ensuite en disant au mec qu'il est coquet et faites de même avec la fille. Simple questions de normes sociales.
Je ne nie pas les cas de discrimination, il en existe comme partout ailleurs mais on ne peut pas expliquer ces chiffres par la seule discrimination.Tant que ces stéréotypes seront présent et que les geek auront aussi mauvaise réputation, ca risque pas de s'arranger.
Quand à la différence Libre/Proprio, il est clair que les libristes ont une bien plus grosse image de geek que dans le proprio.
# [X] je .... geek
Posté par GTof . En réponse au sondage Cet été, mis à part les RMLL, je .... Évalué à 2.
[^] # Re: KDE4
Posté par GTof . En réponse au journal Linux est quand même lourd pour le desktop, et "udev sucks".... Évalué à 1.
[^] # Re: Éternel problème
Posté par GTof . En réponse à la dépêche Effets pervers du modèle de sécurité BitFrost de OLPC. Évalué à 8.
Avec la GPL tu n'as pas la liberté de passer le code en proprio, ce qui augmente la sécurité du projet (évidemment pas en terme de sécurité informatique, mais de vie du projet).
--> []
[^] # Re: Je sais que c'est mal...
Posté par GTof . En réponse au journal Amarok 1.4.9 est sorti!. Évalué à 2.
En fait Debian c'est des écolo défenseurs de la faune geeklandaise!
[^] # Re: Freenet et éthique
Posté par GTof . En réponse à la dépêche Freenet 0.7-rc1 est disponible. Évalué à 8.
En éduquant, informant, débattant, etc ... La xénophobie EST présente, interdire les propos ne la fera pas regresser mais la rendre plus discrète, plus insinueuse. Faire comme si elle n'existe pas nous rends incapable de savoir la combattre quand il le faut, et c'est là que des gens se laisse séduire.
Laissons les s'exprimer, laissons les exposer au grand jour leur haine et leurs conneries. Quant à nous, informons, éduquons, aidons les gens a développer leur sens critique et voir clair dans leur jeu. C'est ainsi que nous permettrons aux gens de voir la violence et la stupidité de leur propos, et de ce fait, les refuser d'eux même.
Il me vient en tête une analogie: celle des infections. Nous vivons en permanance entourés d'agents pathogènes: bactéries, virus, etc ... Et c'est en vivant dans ce milieu "dangereux" que notre a corps a appris a ce défendre en développant son système immunitaire. Quelqu'un qui aurait toute sa vie durant vécu dans une bulle stérille, et qui un jour voudrait sortir dehors comme nous tous. Tu donnerais combien d'espérence de vie?
La première règle de sécurité (informatique) que j'ai apprise est que l'a sécrurité par l'obscurantisme n'est pas de la sécurité! Une vraie sécurité vient par une connaissance réelle des risques et une vraie défense.
[^] # Re: Je proteste
Posté par GTof . En réponse au sondage La nourriture facile à laquelle vous succombez régulièrement :. Évalué à 2.
[^] # Re: Je proteste
Posté par GTof . En réponse au sondage La nourriture facile à laquelle vous succombez régulièrement :. Évalué à 2.
Et en plus, y'en a même certains qui passent leur temps sur des sites communistes de secte avec des manchot et des gnu comme gurus. Et vous avez pas vu la tronche de leur pc, y a rien qui marche dessus. Ils passent leur temps a raller que c'est pas "compatible" et pester contre de braves sociétés oeuvrant pour le bien être collectif. Ils peuvent pas faire comme tout le monde non?
Désolé je vous laisse c'est l'heure de la prière.
Notre Billou qui êtes a Redmond
Que ton OS soit omnipresent
Que les dollars viennent
Vista!
[^] # Re: Jeu chronophage
Posté par GTof . En réponse à la dépêche X-Moto 0.4.2 est sorti. Évalué à 2.
options pour enlever les niveaux non adaptés à des enfants
Sérieux? Il y a des niveaux adaptés aux enfants dans Xmoto? Par enfants je veux dire moins de 7 ans parce qu'après ils sont aussi bon que les adultes mais un enfant de 4 ans par exemple, je le vois mal manier la moto, même sur des niveaux simples.
[^] # Re: Filtrage du Picidae
Posté par GTof . En réponse à la dépêche Picidae : Une nouvelle arme libre contre la censure de l'Internet. Évalué à 6.
C'est avec ce genre de raisonnement irrationnel que passent toutes ces lois lierticides qui sans être efficace nous pourrissent chaque jour un peu plus la vie.
[^] # Re: Les trous de lIsaac
Posté par GTof . En réponse au journal Des langages de haut niveau. Évalué à 2.
Une fontion f d'un type A dans un type B qui peut générer une exception de type C peut être vu comme une fonction sans exception du type A dans le type "une valeur B ou une exception C". Mettons qu'on ai deux fonctions comme ca: f et g que l'on veut composer ou executer séquentiellement, l'idée c'est d'avoir un opérateur (disons >>= ) pour lier les deux (f >>= g) de telle sorte que si f renvoie une valeur B on passe a g et si elle renvoie l'exception, on n'execute pas g et on renvoie directement C.
Est ce que les block de Lisaac peuent être vu comme des fonctions anonymes ? Si oui Lisaac devrait le supporter et donc avoir des exceptions. Je suis tombé sur un article intéressant décrivant des monades pour Ruby [1], comme quoi les monades sa sert partout.
[1] http://moonbase.rydia.net/mental/writings/programming/monads(...)
[^] # Re: Pendant ce temps, la commission européenne...
Posté par GTof . En réponse au journal non au filtrage sur internet. Évalué à 1.
Il le faudrait déjà. Combien ont eu des représailles suite à des propos contre leurs employeurs, gouvernements, etc ... ? Malheureusement quand ces réseaux auront pris de l'importance, ils seront interdits. On est déjà clandestin pour lire des contenus totalement légaux sous système libre, je ne doute pas qu'on le sera également pour vouloir s'exprimer libement.
[^] # Re: Evolution est maintenant utilisable
Posté par GTof . En réponse au journal Comparaison des clients mails sous Linux. Évalué à 3.
Sinon ce que je trouve génial avec KMail c'est la richesse de sa configuration, pouvoir simplement creer des identités. Au début je suis passé à KMail parce qu'un de mes comptes mail avait deux addresses, c'était le seul qui savaient le gérer, les autres clients me foçant à avoir "un compte/une addresse".
[^] # Re: Pour ceux...
Posté par GTof . En réponse au journal Suck my geek. Évalué à 5.
[^] # Re: Pour ceux...
Posté par GTof . En réponse au journal Suck my geek. Évalué à 4.
# GNUnet, I2P, FreeNet, ...
Posté par GTof . En réponse au journal Le retour des VPN. Évalué à 9.
Ca m'avait agréablement surpris de voir le support d'I2P dans Azureus, et encore plus de voir des gens normaux (comprennez non-geek) en parler. Une chose que je regrette c'est que GNUnet ne soit pas plus connu/utilisé, c'est vraiment un bon réseau bien foutu et qui marche bien, GNU oblige c'est entièrement libre, malheureusement il ne bénéficie pas de la notiéré des autres.
[^] # Re: A qui la faute ?
Posté par GTof . En réponse au journal Les licences libres sont inadaptées.. Évalué à 2.
- le fichier en bidule.c est sous quel licence ?
- ca dépend, la ligne 1 à 10 est en GPL, mais la ligne 11 à 17 est en BSD sauf le milieu de la ligne 15 qui lui est en CeCill, .....
Je suis pas convaincu de la simplicité du truc.
# Libre qui ?
Posté par GTof . En réponse au journal Le masque de Debian. Évalué à 6.
En ce qui concerne la liberté des logiciels, Debian est irréprochable. Je vois Debian comme une distro clef en main avec une volonté forte de n'avoir QUE des logicies libres, et pas demi-lires, lires à 100%, voir l'exemple Firefox/IceWeasel pour s'en convraincre.
L'objectif de Gentoo est quant à elle la liberté de l'utilisateur. Sous gentoo, vous faites ce que VOUS voulez, les outils de la distrib ne sont là que pour vous y aider, pas pour prendre des décisions à votre place! Je vois Gentoo comme une LFS avec des outils pour me faciliter la vie.
SI vous voulez un système personnalisable à volonté, où vous avez facilement un contrôle sur tout, Gentoo est pour vous. Si vous voulez un système le plus libre possible en laissant le système prendre les décisions pour vous, Debian est pour vous.
Alors se demander laquelle des deux est la plus libre .... je dirais LFS sans aucun doute.
# Cool !
Posté par GTof . En réponse au journal Un serveur avec Qemu. Évalué à 3.
[^] # Re: Re:
Posté par GTof . En réponse au journal Nouveau soft pour la création d'InitRamfs. Évalué à 1.
[^] # Re: Les langages sécurisés ca existe !
Posté par GTof . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 2.
Ceci est impossible à faire en OCaml ou Haskell, c'est bien pour ca que des gens développent Concoqtion, Cayenne, Epigram, Twelf, etc .... Si c'était si trvial je pense pas que tant de gens se ferait chier pour rien.
# Les langages sécurisés ca existe !
Posté par GTof . En réponse au journal Qu'est-ce qu'un langage sécurisé ?. Évalué à 4.
"Coq est un système de manipulation de preuves mathématiques formelles; une preuve réalisée avec Coq est mécaniquement vérifiée par la machine"
" Coq intègre aussi [...] un mécanisme d'extraction [qui] permet d'engendrer automatiquement des programmes certifiés en Objective Caml, Haskell ou Scheme à partir de preuves de leurs spécifications."
Niveau sécurité c'est béton, vôtre programme fait exactement ce qu'il est censé faire, vous l'avez prouvé.
Si vous trouvez cette approche trop violente, vous pouvez regarder du coté de Conqoction [2]. Concoqtion est une extention de MetaOCaml qui est elle même une extension d'Objective Caml. Elle permet d'avoir un système de type très riche appelé types indexées. Par exemple vous pouvez indexer le type des listes par le nombre d'élements dans une liste, ainsi vous pouvez spécifier une fonction sur des listes non vides, des listes qui ont un nombre pair d'élements, ect ...
La vérification des types est fait par inférence autant que possible et par des preuves que vous pouvez faire en Coq.
Il est certes plus complexe de programmer dans ces langages que de pisser du code en priant pour que ca ne merde pas mais la sécurité est bien souvent à ce prix.
[1] http://coq.inria.fr/coq-fra.html
[2] http://www.metaocaml.org/concoqtion/