Il a écrit « collération » (mot inexistant) au lieu de « corrélation. »
Ce qui m'a poussé à citer La Cité de la Peur et son erreur (volontaire et célèbre) sur « aéroport de Nice » qui sonne comme « Arrêt au port de Nice, » suivant la mauvaise prononciation « aréoport. »
Pour la dépêche : j'aime pas le mot "poster", je préfère « affiche, » ou même « pamphlet. »
Pour l'affiche elle-même :
>> Après de multiples tests techniques réalisés par des programmeurs pour vérifier son bon fonctionnement, il est proposé aux utilisateurs.
Non, je ne crois pas. Il est proposé dès le départ aux utilisateurs. Quand aux multiples tests, c'est souvent, je crois, autant les utilisateurs qui les font que les gens de la liste de développement.
>> Les programmeurs résolvent les erreurs
Je ne suis pas certain qu'on « résolve » une erreur ; je crois qu'on la corrige.
>> Après l'ajout de fonctions, l'intégration de différentes langues et l'ajout d'un manuel d'utilisation, le logiciel est de nouveau publié.
Ici aussi, je doute. Il n'est que rarement « de nouveau publié » selon une telle grille. D'autant plus que le moto « fait une nouvelle version aussi souvent que possible » est souvent à l'ordre du jour… Sinon, c'est qu'il y a ambiguïté sur le sens du contenu publié.
>> Celui ci doit être traduit en code machine (composé d'une suite de chiffres) pour être compris par un ordinateur et pouvoir fonctionner.
En laissant de côté le fait que je n'aime pas trop l'analogie recette quand elle ne me paraît pas nécessaire, je dis que c'est faux ça. Mon ordinateur ne comprend pas plus le C que les chiffres. D'ailleurs, quand j'édite un binaire, je vois rarement « 1834729384729238479191382 » dans mon éditeur de texte.
Il faut traduire le code source en instructions que l'ordinateur sait gérer. Ça, c'est aussi simple, et moins faux (ptêt même vrai !)
>> La manipulation inverse, retrouver le code compréhensible depuis le code machine est impossible
Faux, dans la mesure où l'on peut écrire du code machine directement, juste à l'aide de mnémoniques (quiconque a fait de l'ASM sur HP48 versera une larme nostalgique). Un desassembleur donnera donc le code source.
Le problème est que l'on perd le recul qui permet de comprendre le « grand design » et que l'on a juste accès à une information dont le grain est trop fin.
Enfin, l'utilisateur dessiné en page 2 n'a pas l'air ravi du tout.
je crois que ca vient de Grande Bretagne, ou les employes vire's utilisaient cette technique pour se venger. Tu touchais du fric en echange de la delation, genre un pourcentage des prix des licences non payees.
>> Mais il faut quand même y mettre quelque chose dans ce design-pattern :)
Oui, enfin, c'est pas lié au concept de monade lui-même.
Il serait bien plus sensé d'écrire « des structures de données et algorithmes adaptés au développement web avec un langage fonctionnel. »
Par exemple, du « message passing » au lieu de plein d'effets de bords, c'est super agréable à utiliser avec un tas de langages fonctionnels.
>> Je pense qu'elle permet d'abstraire et « purifier » les effets de bords que tu vas faire sur le résultat du traitement de la requête histoire que ce soit sûr et élégant…
Abstraire, oui. C'est d'ailleurs la force des langages fonctionnels de permettre un raisonnement de haut niveau.
Purifier, non. Ça ne purifie rien une monade. Ça dit que ce qui est dedans ne « déborde » pas, ce qui est complétement différent. Ensuite, ce n'est pas parce que la monade IO utilisée pour justifier les effets de bords est nécessaire à tout programme non trivialement évaluable (car si on ne fait pas d'IO, on a pas besoin d'évaluer le programme !) que toutes les monades servent à ça !
On fait souvent des continuations avec des monades, du passage implicite d'arguments, du backtracking, et même des listes toutes connes sans aucun effet de bord.
Bon, d'après le code, c'est une combinaison d'environnements (passage implicite d'argements), de traitement des données (ou de son échec) et d'effets de bords. Une belle abstraction, en effet.
Mais une monade, c'est aussi *nécessairement* la vérification de lois (comme l'associativité). Et peu sont ceux qui prouvent que ces lois sont vérifiées quand ils créent (ou croient créer) une monade. On peut tout à fait en Haskell écrire un programme avec un truc qui ressemble à une monade, qui utilise la formule magique "instance Monad" et qui n'est pas une monade.
Bref, encore une victoire des langages fonctionnels (pour l'élégance du code) et du buzz (pour le côté « oh ! c'est grâce à une monade [lien vers un article imbitable pour le commun des mortels sur les catégories pour donner un semblant d'autorité à la déclamation] que c'est cool. »)
>> être marié a été utile pour ma femme pour certaines décisions
- Madame, votre époux s'est tordu la cheville.
- Oh non ! Bon, où sont les papier pour l'euthanasie ? Jean-Kevin, mon chou, appelle le notaire pour Maman si tu veux plus d'argent de poche le mois prochain.
>> En France, il est interdit de se marier ailleurs qu'à la mairie. Le 'mariage' religeux est une mise en scène sans signification: les mariés sont déjà mariés au moment ou ils font la cérémonie,
Il est interdit de se marier à l'Église sans être préalablement marié à la mairie, me semble-t-il. Enfin, si tu réponds « non » au curé, attends-toi à voir belle-maman faire un scandale comme pas deux. Et probablement aussi à ne plus revoir ta femme.
Et ca me fait me dire qu'il est bon signe d'avoir toujours les onglets frequents aux memes endroits, ou meme les sites sur des fenetres/bureaux separes.
Je sais par exemple que je n'ai jamais machin.com en troisieme position de ma barre d'onglets, ni dans ma dexieume instance de firefox.
Et aussi, j'ai du laisser a noscript le droit de jouer avec la page pour qu'il me fasse la demo.
C'est vraiment une idee geniale cette methode. Encore plus visuelle qu'une simple XSS, et deroutante pour l'utilisateur (qui tombera facilement dans le panneau, j'en suis sur...)
Maintenant, pourquoi pas embarquer des detecteurs de similitude visuelle des sites, et indiquer une alarme quand un site qui n'est pas gmail ressemble un peu trop a gmail ?
Ca me parait une approche pas pire, pour tous les sites avec login, et faisable sans trop de difficulte !
>> Une monade particulièrement bien adaptée au développement web ;
Ha ? Et précisément en quoi est-elle particulièrement adaptée ?
Parce qu'une monade, c'est rien d'autre qu'un design-pattern avec quelques contraintes...
>> Snap est encore très jeune, mais ses performances sont déjà impressionnantes : plus rapide qu'apache !
Ca aussi, c'est impressionnant et très rapide : http://john.freml.in/teepeedee2-c10k avec du bon Common Lisp dedans.
Et comme c'est des S-Expressions, on peut generer le code HTML/XML a partir du code lisp lui meme...
Grand amateur de moules, et de tout ce qui tourne autour (je ne montrerai pas ma collec privée), j'avais voulu ce week-end aller sur linuxfr.
Et là, qu'est-ce que j'apprends ? DLFP est down samedi 22 !!!!
Des heures que j'avais pas trollé, et que je me disais qu'il faudrait que j'en fasse un journal… Et le site tombe le jour même où je m'apprêtais à troller !
Ai-je des pouvoirs maléfiques de bug à distance ? Est-ce qu'il y avait une connexion TCP/IP particulière entre DLFP et moi (outre notre amour commun pour les moules) ?
[^] # Re: Il fait chaud et beau.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le logiciel libre aurait plus de problèmes de sécurité…. Évalué à 10.
Il a écrit « collération » (mot inexistant) au lieu de « corrélation. »
Ce qui m'a poussé à citer La Cité de la Peur et son erreur (volontaire et célèbre) sur « aéroport de Nice » qui sonne comme « Arrêt au port de Nice, » suivant la mauvaise prononciation « aréoport. »
Pas besoin de se mettre en corrèle, donc.
[^] # Re: Gastro
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Fumeurs, fumeuses, fumistes. Évalué à 3.
Je confirme.
Moi, j'ai arrêté d'acheter du tabac. Plus rien à fumer -> on ne fume plus !
[^] # Re: Meilleur algo
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Fumeurs, fumeuses, fumistes. Évalué à 6.
Ben, je fumais la pipe, justement… C'est paradoxal ton truc…
[^] # Re: Zut de zut !
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Nouveau coup de tonnerre attendu. Évalué à 8.
BronsoNisé.
On est pas dans Jurassic Park ici…
# Il fait chaud et beau.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le logiciel libre aurait plus de problèmes de sécurité…. Évalué à 8.
Aréoport de Nice, aréoport de Nice. Deux minutes d'arrêt.
# Lien
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Activité du site LinuxFr.org. Évalué à 2.
# Euh ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Grisbi 0.6 is out !. Évalué à 3.
Cool ! Ils ont rabaisse' la qualite' de l'interface, supprime' le cryptage, et abandonne' le support linguistique des pays en crise !
# Commentaires
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Le logiciel libre : comment ça marche ?. Évalué à 1.
Pour l'affiche elle-même :
>> Après de multiples tests techniques réalisés par des programmeurs pour vérifier son bon fonctionnement, il est proposé aux utilisateurs.
Non, je ne crois pas. Il est proposé dès le départ aux utilisateurs. Quand aux multiples tests, c'est souvent, je crois, autant les utilisateurs qui les font que les gens de la liste de développement.
>> Les programmeurs résolvent les erreurs
Je ne suis pas certain qu'on « résolve » une erreur ; je crois qu'on la corrige.
>> Après l'ajout de fonctions, l'intégration de différentes langues et l'ajout d'un manuel d'utilisation, le logiciel est de nouveau publié.
Ici aussi, je doute. Il n'est que rarement « de nouveau publié » selon une telle grille. D'autant plus que le moto « fait une nouvelle version aussi souvent que possible » est souvent à l'ordre du jour… Sinon, c'est qu'il y a ambiguïté sur le sens du contenu publié.
>> Celui ci doit être traduit en code machine (composé d'une suite de chiffres) pour être compris par un ordinateur et pouvoir fonctionner.
En laissant de côté le fait que je n'aime pas trop l'analogie recette quand elle ne me paraît pas nécessaire, je dis que c'est faux ça. Mon ordinateur ne comprend pas plus le C que les chiffres. D'ailleurs, quand j'édite un binaire, je vois rarement « 1834729384729238479191382 » dans mon éditeur de texte.
Il faut traduire le code source en instructions que l'ordinateur sait gérer. Ça, c'est aussi simple, et moins faux (ptêt même vrai !)
>> La manipulation inverse, retrouver le code compréhensible depuis le code machine est impossible
Faux, dans la mesure où l'on peut écrire du code machine directement, juste à l'aide de mnémoniques (quiconque a fait de l'ASM sur HP48 versera une larme nostalgique). Un desassembleur donnera donc le code source.
Le problème est que l'on perd le recul qui permet de comprendre le « grand design » et que l'on a juste accès à une information dont le grain est trop fin.
Enfin, l'utilisateur dessiné en page 2 n'a pas l'air ravi du tout.
[^] # Re: tu serais presque en retard
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message Le truc qui va vous faire plaisir, c’est que Linux écrase tout sur son passage et représente à 91% l’OS préférés des champions du calcul !. Évalué à 5.
# Et pour madame ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Des rasoirs de sûreté. Évalué à 4.
C'est quoi le mieux ?
[^] # Re: Explication de narke
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Journal censuré ?. Évalué à 2.
Laquelle ?
Celle que tu as corrigée, ou celle(s) que tu as ajoutée(s) ?
« mis, » « prétendaient. »
J'avais envie, moi aussi, de participer à ce grand troll de mi-semaine.
[^] # Re: Java
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Gérer les Thread Dump Java. Évalué à 2.
# Je ne saisis pas la différence
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Nouvelle base de données clés-valeurs : Kyoto Cabinet 1.0. Évalué à 2.
# C'est pas nouveau
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Toi aussi aide le BSA. Évalué à 2.
[^] # Re: Bonne initiative
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 2.
Sauf qu'en Alsace-Moselle, le clown sera probablement pas fonctionnaire… et sera donc différent du prêtre pour l'État !
[^] # Re: Bonne initiative
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 2.
J'ai parlé de l'Église, pas de paganisme, de druidisme ou de mythologie paskistano-turque subsaharienne.
[^] # Re: Pourquoi ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche 3 frameworks de développement : Ruby on Rails, Snap et Lamson. Évalué à 4.
Oui, enfin, c'est pas lié au concept de monade lui-même.
Il serait bien plus sensé d'écrire « des structures de données et algorithmes adaptés au développement web avec un langage fonctionnel. »
Par exemple, du « message passing » au lieu de plein d'effets de bords, c'est super agréable à utiliser avec un tas de langages fonctionnels.
>> Je pense qu'elle permet d'abstraire et « purifier » les effets de bords que tu vas faire sur le résultat du traitement de la requête histoire que ce soit sûr et élégant…
Abstraire, oui. C'est d'ailleurs la force des langages fonctionnels de permettre un raisonnement de haut niveau.
Purifier, non. Ça ne purifie rien une monade. Ça dit que ce qui est dedans ne « déborde » pas, ce qui est complétement différent. Ensuite, ce n'est pas parce que la monade IO utilisée pour justifier les effets de bords est nécessaire à tout programme non trivialement évaluable (car si on ne fait pas d'IO, on a pas besoin d'évaluer le programme !) que toutes les monades servent à ça !
On fait souvent des continuations avec des monades, du passage implicite d'arguments, du backtracking, et même des listes toutes connes sans aucun effet de bord.
Bon, d'après le code, c'est une combinaison d'environnements (passage implicite d'argements), de traitement des données (ou de son échec) et d'effets de bords. Une belle abstraction, en effet.
Mais une monade, c'est aussi *nécessairement* la vérification de lois (comme l'associativité). Et peu sont ceux qui prouvent que ces lois sont vérifiées quand ils créent (ou croient créer) une monade. On peut tout à fait en Haskell écrire un programme avec un truc qui ressemble à une monade, qui utilise la formule magique "instance Monad" et qui n'est pas une monade.
Bref, encore une victoire des langages fonctionnels (pour l'élégance du code) et du buzz (pour le côté « oh ! c'est grâce à une monade [lien vers un article imbitable pour le commun des mortels sur les catégories pour donner un semblant d'autorité à la déclamation] que c'est cool. »)
[^] # Re: Bonne initiative
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 5.
Par la loi !
http://catholique-nanterre.cef.fr/faq/mariage_conditions.htm(...)
[^] # Re: Et pour les funérailles ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 3.
[^] # Re: Bonne initiative
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 9.
- Madame, votre époux s'est tordu la cheville.
- Oh non ! Bon, où sont les papier pour l'euthanasie ? Jean-Kevin, mon chou, appelle le notaire pour Maman si tu veux plus d'argent de poche le mois prochain.
[^] # Re: Bonne initiative
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Oui, Mariage. Évalué à 4.
Il est interdit de se marier à l'Église sans être préalablement marié à la mairie, me semble-t-il. Enfin, si tu réponds « non » au curé, attends-toi à voir belle-maman faire un scandale comme pas deux. Et probablement aussi à ne plus revoir ta femme.
# Idee geniale
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal tabnabbing, un nouveau genre de phishing. Évalué à 10.
Et ca me fait me dire qu'il est bon signe d'avoir toujours les onglets frequents aux memes endroits, ou meme les sites sur des fenetres/bureaux separes.
Je sais par exemple que je n'ai jamais machin.com en troisieme position de ma barre d'onglets, ni dans ma dexieume instance de firefox.
Et aussi, j'ai du laisser a noscript le droit de jouer avec la page pour qu'il me fasse la demo.
C'est vraiment une idee geniale cette methode. Encore plus visuelle qu'une simple XSS, et deroutante pour l'utilisateur (qui tombera facilement dans le panneau, j'en suis sur...)
Maintenant, pourquoi pas embarquer des detecteurs de similitude visuelle des sites, et indiquer une alarme quand un site qui n'est pas gmail ressemble un peu trop a gmail ?
Ca me parait une approche pas pire, pour tous les sites avec login, et faisable sans trop de difficulte !
# Pourquoi ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche 3 frameworks de développement : Ruby on Rails, Snap et Lamson. Évalué à 4.
Ha ? Et précisément en quoi est-elle particulièrement adaptée ?
Parce qu'une monade, c'est rien d'autre qu'un design-pattern avec quelques contraintes...
>> Snap est encore très jeune, mais ses performances sont déjà impressionnantes : plus rapide qu'apache !
Ca aussi, c'est impressionnant et très rapide : http://john.freml.in/teepeedee2-c10k avec du bon Common Lisp dedans.
Et comme c'est des S-Expressions, on peut generer le code HTML/XML a partir du code lisp lui meme...
# Euh
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au message envoyer fichier. Évalué à 2.
Ou tu veux aussi l'interface web, l'impossibilité de lister les données… ?
[^] # Pareil !!
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Martin Gardner (1914-2010). Évalué à 5.
Et là, qu'est-ce que j'apprends ? DLFP est down samedi 22 !!!!
Des heures que j'avais pas trollé, et que je me disais qu'il faudrait que j'en fasse un journal… Et le site tombe le jour même où je m'apprêtais à troller !
Ai-je des pouvoirs maléfiques de bug à distance ? Est-ce qu'il y avait une connexion TCP/IP particulière entre DLFP et moi (outre notre amour commun pour les moules) ?