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) ?
Pas un gros truc, genre 200 visiteurs sur toute la journée…
Des stands avec des gens pas très motivés, qui distribuaient des slides qui n'expliquaient pas quel était le produit…
J'ai bien aimé quand même NetBSD, qui avait plein de machines ésotériques qui runnaient leur OS, et Knoppix/Math qui faisait des démonstrations de logiciels scientifiques sympas et dont j'ignorais l'existence. Pour le reste, c'était pas très joyeux…
J'ai assisté à la conf de Jun@Netbsd.org, qui a fait une présentation d'une heure, un peu sans queue ni tête, avec parfois plusieurs slides par seconde sans qu'on ait le temps de lire, qui parlait de debug à base de printf du chargement du kernel de NetBSD sur son téléphone, ou encore du fait qu'ils ont laissé tomber la traduction du site en temps réel. Et aussi du fait qu'un tiers des devs avaient l'air d'être japonais.
Ensuite, il y a eu une session de 6 lightning talks bien faites, sauf une par un gars qui n'avait pas du comprendre le sens de "lightning"… Quand on prend son temps pour se présenter, dire que c'est notre première lightning talk, qu'on est très content d'être ici, et qu'on espère être là l'an prochain, il ne reste plus beaucoup de temps pour raconter ce qui intéresse l'auditoire…
Bref, je n'ai pas entendu une seule fois le mot « free software, » mais uniquement « opensource. » Ça à l'air d'être en progression, mais il y a encore du chemin à faire avant que ça vaille le coup pour Pinpin de venir…
# 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) ?
# Bilan
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Open Source Conference 2010. Évalué à 2.
Pas un gros truc, genre 200 visiteurs sur toute la journée…
Des stands avec des gens pas très motivés, qui distribuaient des slides qui n'expliquaient pas quel était le produit…
J'ai bien aimé quand même NetBSD, qui avait plein de machines ésotériques qui runnaient leur OS, et Knoppix/Math qui faisait des démonstrations de logiciels scientifiques sympas et dont j'ignorais l'existence. Pour le reste, c'était pas très joyeux…
J'ai assisté à la conf de Jun@Netbsd.org, qui a fait une présentation d'une heure, un peu sans queue ni tête, avec parfois plusieurs slides par seconde sans qu'on ait le temps de lire, qui parlait de debug à base de printf du chargement du kernel de NetBSD sur son téléphone, ou encore du fait qu'ils ont laissé tomber la traduction du site en temps réel. Et aussi du fait qu'un tiers des devs avaient l'air d'être japonais.
Ensuite, il y a eu une session de 6 lightning talks bien faites, sauf une par un gars qui n'avait pas du comprendre le sens de "lightning"… Quand on prend son temps pour se présenter, dire que c'est notre première lightning talk, qu'on est très content d'être ici, et qu'on espère être là l'an prochain, il ne reste plus beaucoup de temps pour raconter ce qui intéresse l'auditoire…
Bref, je n'ai pas entendu une seule fois le mot « free software, » mais uniquement « opensource. » Ça à l'air d'être en progression, mais il y a encore du chemin à faire avant que ça vaille le coup pour Pinpin de venir…
[^] # Re: KeyHoleTV ?
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Open Source Conference 2010. Évalué à 2.
# Ah, j'ai compris
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Metasploit 3.4. Évalué à 7.
[^] # Re: cela mérite un entretien avec les développeurs de voyages-sncf.com
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Le site préferé des linuxfriens et des français. Évalué à 3.
Même que Mulder et Scully sont sur le coup.