Pour ceux qui sont vraiment curieux, il suffit de chercher le CV du monsieur sur Internet, ce qui donnera sa ville, puis d'aller chercher la circonscription associée et enfin le député élu. Je vous laisse faire la recherche vous-même, pour respecter la volonté de l'auteur exprimée dans le commentaire ci-dessous.
Ça n'a rien à voir, mais c'était juste pour savoir si on pouvait espérer voir XulTypist terminé un jour ? J'ai trouvé le logiciel excellent, mais avec quelques bugs (j'avais même soumis un rapport de bug dans le temps) et comme je vous vois passer par ici pour la première fois depuis longtemps...
C'est un bug que j'avais en permanence à une époque, et ça venait d'un double / quelque part dans l'url, qui ne posait pas problème pour accéder mais faisait foirer la redirection. Genre : http://linuxfr.org//journal. Et naturellement, comme il était dans mon historique, je revenais toujours sur la page, avec le même bug.
Ce graphique montre surtout que les policiers se sont mis à acheter massivement des jeux vidéo en 1998 et y passent le plus clair de leur temps, au détriment de l'enregistrement des plaintes pour violence commise par des jeunes.
Ou alors, que corrélation et causalité n'ont rien à voir.
Ça fait bizarre de lire du subjonctif I. Et plaisir de voir que je sais encore le reconnaître. Il faudrait que je lise plus souvent les journaux, et moins d'articles techniques.
Et pourtant, je n'y connais pas grand'chose, mais il y a dans le bureau à côté du mien, quelqu'un qui travaille sur Coq-en-Coq. Et les première tentatives remontent à 1989 ! Lire l'introduction de son article aux JFLA par exemple, disponible sur sa page web : http://stephane.glondu.net
Tout à fait. La LSF (langue des signes française) par exemple a une syntaxe similaire. Mais elle dispose d'autres moyens d'exprimer la subtilité, comme la posture du corps, l'expression du visage, etc.
On trouve un paquet de sites français groupés dans la liste : laredoute.fr, voila.fr, voyages-sncf.com (évidemment), leboncoin.fr, fnac.com, aol.fr, clubic.com, deezer.com, neuf.fr, lequipe.fr, vivastreet.fr, lycos.fr, windowslive.fr, aliceadsl.fr, caradisiac.com, caisse-epargne.fr, canalblog.com, hardware.fr, forum-auto.com, centerblog.net, anpe.fr, france2.fr (mais pas les autres chaînes de France Télévision), labrute.fr, labanquepostale.fr, eurosport.fr, unblog.fr, club-internet.fr, fdjeux.com, darty.com, lcl.fr, cityvox.fr, carrefour.fr, trombi.com, jeuxvideo.fr, nouvelobs.com, marmiton.org, meetic.fr, megaupload.com, lefigaro.fr, vente-privee.com, talents.fr, bwin.com, airfrance.fr. Beaucoup de sites de FAI, donc, et quelques services publics (ou assimilés).
Les sites préférés des français ?
Et puis aussi : free.fr, google.fr (même la page de google est mal rendue par IE8 ?), ikea.com, commentcamarche.net, 01net.com, orange.fr, jeuxvideo.com et beaucoup d'autres...
Oui. Mais on n'a pas attendu le pi-calcul pour concevoir des architectures concurrentes par passage de message. Par exemple, dès 1979 (et avant) : http://portal.acm.org/citation.cfm?id=850658
Ensuite de quoi, il y a deux niveaux de théorie: celle qui s'applique à la pratique et qui te semble justifiée, et celle dont les résultats s'appliquent à leur tour à la théorie, que tu appelles (à tort) un échec.
Non. Je ne considère pas comme un échec la théorie qui s'applique à la théorie. Je considère comme un échec la théorie qui s'applique à elle-même. En effet (et je l'ai dit juste au-dessus, en précisant pourquoi je trollais), le pi-calcul n'est pas un échec, car il s'applique dans d'autres domaines (théoriques) : bio-informatique, cryptographie. Mais en terme de modèle pour les langages de programmations, je ne vois vraiment pas quel crédit donner aux résultats obtenus par le pi-calcul : c'est une bulle inflationniste, qui crée ses concepts pour développer des théorèmes qui vont servir à de nouveaux concepts, sans qu'à aucun moment on ne retouche terre. Le lambda-calcul n'est pas comme ça (il a des interprétations en terme de calculabilité, par exemple, et il a produit des résultats nouveaux et intéressants dans ce domaine).
Mais si tu as un résultat issu du pi-calcul qui parle d'autre chose que du pi-calcul lui-même [1], je serais très intéressé et reverrais sûrement ma position.
[1] (et des protocoles crypto, on est d'accord dessus que c'est un succès du pi-calcul)
En réalité, Erlang fait à la fois moins et plus que le pi-calcul. Moins, parce qu'il ne propose pas de notion de canal arbitraire (il y a un seul canal par processus). Plus, parce qu'il est évidemment de bien plus haut niveau.
Erlang peut être formalisé en termes de pi-calcul [1] mais il n'a pas été inventé à partir du pi-calcul. Les liens entre les deux ont été discutés sur la liste de diffusion [2] où il est apparu qu'il est particulièrement bon pour... implémenter des interpréteurs du pi-calcul [3] !
Quoiqu'il en soit, Erlang doit beaucoup plus à la théorie des files d'attente qu'au pi-calcul. A commencer par son nom [4]. Il est difficile de dire exactement quelles sont les influences ayant présidé à son élaboration, naturellement, mais le contexte dans lequel il a été créé (firme Ericson) autant que l'origine de ses concepteurs et leurs motivations (obtenir un langage qui capture bien les notions usuelles en télécommunications et qui soit distribué pour résister aux pannes) génèrent, à mon sens, une suspicion importante de lecture rétrospective quand on affirme qu' « Erlang est basé sur le pi-calcul, et très fortement ».
Par contre, pour les applications réelles du pi-calcul, je trouve la page wikipedia [5] est assez complète. Mais il ne faut pas se voiler la face : d'occam-π à jocaml, les langages de programmation qui ont essayé d'utiliser le pi-calcul (ou une de ses variantes) sont des échecs. C'est dommage, mais c'est comme ça : ça ne marche pas (ou alors on n'a pas trouvé la bonne syntaxe/approche pour que ça soit utilisable sur des projets sérieux).
Je crois beaucoup plus à la programmation réactive fonctionnelle. L'avenir nous dira bien ce qu'il en est.
Juste pour préciser que c'est vraiment un troll : le pi-calcul a effectivement des applications, notamment dans le domaine des protocoles cryptographiques. Mais aucune (à ma connaissance et pour l'instant) dans le domaine de la programmation concurrente pour laquelle il a été créé.
Si la théorie de la concurrence à base de pi-calcul et compagnie fonctionnait, ça se saurait. Moi je milite pour qu'on les brûle et qu'on essaye de faire des langages de programmation utilisables.
Le succès d'une théorie se mesure à ses applications, c'est-à-dire au fait qu'elle puisse fournir des résultats (théoriques ou pratiques) dans un domaine autre que celui qu'elle définit par elle-même. La théorie de la relativité est un succès, car elle permet de prédir le phénomène astronomique des étoiles cachées qui apparaissent pendant une éclipse : résultat externe, qui n'a pas besoin de la théorie d'Einstein pour être compris, utilisé, observé (même si on ne sait pas l'expliquer autrement). Le pi-calcul, de ce point de vue, c'est un échec.
Si l'on en croit le premier lien, il s'agit de plus que d'un pays bien précis : « The firm has dropped Linux as an OS option for the latest netbooks in Blighty and quite a few European countries. » Après, faute de plus de détails...
A: No. It is possible to layer POSIX subsystem above the Phantom native environment, but it is not an idea per se.
Q: OS is based on VM – does it mean that not all the possible programming languages will be supported?
A: Yes. Say goodbye to C and Assembler. On the other side, everything is in Java or C# now, or even in some even more dynamic language, such as Javascript or even PHP. All these languages will be supported.
Donc on résume : ce n'est pas POSIX, il n'y a pas de support du C ou de l'assembleur. On fait tout en Java, C# voire PHP et javascript. Vous choisiriez lequel de ces quatre langages pour coder, au hasard, SSH dont il est question plus haut ? Et les compilateurs, il sont écrits en quoi ?
[^] # Re: Je n'aurais qu'un mot
Posté par MrLapinot (site web personnel) . En réponse au journal Rencontre avec son député, c'est *utile* ET indolore.. Évalué à 3.
[^] # Re: cool
Posté par MrLapinot (site web personnel) . En réponse au journal Petit plugin firefox pour vos yeux. Évalué à 2.
[^] # Re: Mort pour de bonnes raisons ?
Posté par MrLapinot (site web personnel) . En réponse au journal Déployer du Microsoft provoque le cancer du poumon. Évalué à 4.
[^] # Re: ho mais yacafocon
Posté par MrLapinot (site web personnel) . En réponse au journal Templeet, rapide, mais même pas web 1.0. Évalué à 2.
Si ça peut aider...
[^] # Re: Les jeux calment le jeunes
Posté par MrLapinot (site web personnel) . En réponse au journal La société de l'autruche .... Évalué à 2.
Ou alors, que corrélation et causalité n'ont rien à voir.
[^] # Re: Tf1, ou la différence selon les médias...
Posté par MrLapinot (site web personnel) . En réponse au journal La société de l'autruche .... Évalué à 0.
Ça fait bizarre de lire du subjonctif I. Et plaisir de voir que je sais encore le reconnaître. Il faudrait que je lise plus souvent les journaux, et moins d'articles techniques.
[^] # Re: Au contraire, un excellent système !
Posté par MrLapinot (site web personnel) . En réponse au journal [HS] Mort au scrutin proportionnel !. Évalué à 4.
Le vote de Condorcet souffre des mêmes défauts, au passage.
[^] # Re: Se passer des tests ...
Posté par MrLapinot (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.
[^] # Re: Firefox est-il un bloatware ?
Posté par MrLapinot (site web personnel) . En réponse au journal Firefox est-il un bloatware (en français : un logiciel dont les fonctionnalités ne justifie pas une telle utilisation des ressources matérielles) ?. Évalué à 2.
Par contre, en terme d'ouverture du code, forcément...
[^] # Re: rpm -i aspell
Posté par MrLapinot (site web personnel) . En réponse au journal Mandriva, celle qui fait hiiiiihan aux agrégés. Évalué à 3.
[^] # Re: Regarde d'abord Grub 1 pour faire la différence
Posté par MrLapinot (site web personnel) . En réponse au journal Grub2. Évalué à 2.
[^] # Re: Ognon
Posté par MrLapinot (site web personnel) . En réponse au journal Les vierges effarouchées du langage. Évalué à 3.
[^] # Re: Toujours diponible!
Posté par MrLapinot (site web personnel) . En réponse au journal Claviers Bepo Typematrix. Évalué à 2.
# Dans la liste...
Posté par MrLapinot (site web personnel) . En réponse au journal 2400 sites incompatibles avec IE8 dont Microsoft.com. Évalué à 4.
Les sites préférés des français ?
Et puis aussi : free.fr, google.fr (même la page de google est mal rendue par IE8 ?), ikea.com, commentcamarche.net, 01net.com, orange.fr, jeuxvideo.com et beaucoup d'autres...
[^] # Re: Effet de mode
Posté par MrLapinot (site web personnel) . En réponse au journal Python, langage de l'année pour la seconde année consécutive. Évalué à 2.
Ou comment comprendre toutes les « type classes » usuelles d'Haskell (y compris les monades, bien sûr).
[^] # Re: Génial !!
Posté par MrLapinot (site web personnel) . En réponse à la dépêche World of Goo disponible pour Linux. Évalué à 5.
[^] # Re: Tu devrais savoir ça
Posté par MrLapinot (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 2.
[^] # Re: Tu devrais savoir ça
Posté par MrLapinot (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 1.
Non. Je ne considère pas comme un échec la théorie qui s'applique à la théorie. Je considère comme un échec la théorie qui s'applique à elle-même. En effet (et je l'ai dit juste au-dessus, en précisant pourquoi je trollais), le pi-calcul n'est pas un échec, car il s'applique dans d'autres domaines (théoriques) : bio-informatique, cryptographie. Mais en terme de modèle pour les langages de programmations, je ne vois vraiment pas quel crédit donner aux résultats obtenus par le pi-calcul : c'est une bulle inflationniste, qui crée ses concepts pour développer des théorèmes qui vont servir à de nouveaux concepts, sans qu'à aucun moment on ne retouche terre. Le lambda-calcul n'est pas comme ça (il a des interprétations en terme de calculabilité, par exemple, et il a produit des résultats nouveaux et intéressants dans ce domaine).
Mais si tu as un résultat issu du pi-calcul qui parle d'autre chose que du pi-calcul lui-même [1], je serais très intéressé et reverrais sûrement ma position.
[1] (et des protocoles crypto, on est d'accord dessus que c'est un succès du pi-calcul)
[^] # Re: Tu devrais savoir ça
Posté par MrLapinot (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 2.
Erlang peut être formalisé en termes de pi-calcul [1] mais il n'a pas été inventé à partir du pi-calcul. Les liens entre les deux ont été discutés sur la liste de diffusion [2] où il est apparu qu'il est particulièrement bon pour... implémenter des interpréteurs du pi-calcul [3] !
Quoiqu'il en soit, Erlang doit beaucoup plus à la théorie des files d'attente qu'au pi-calcul. A commencer par son nom [4]. Il est difficile de dire exactement quelles sont les influences ayant présidé à son élaboration, naturellement, mais le contexte dans lequel il a été créé (firme Ericson) autant que l'origine de ses concepteurs et leurs motivations (obtenir un langage qui capture bien les notions usuelles en télécommunications et qui soit distribué pour résister aux pannes) génèrent, à mon sens, une suspicion importante de lecture rétrospective quand on affirme qu' « Erlang est basé sur le pi-calcul, et très fortement ».
Par contre, pour les applications réelles du pi-calcul, je trouve la page wikipedia [5] est assez complète. Mais il ne faut pas se voiler la face : d'occam-π à jocaml, les langages de programmation qui ont essayé d'utiliser le pi-calcul (ou une de ses variantes) sont des échecs. C'est dommage, mais c'est comme ça : ça ne marche pas (ou alors on n'a pas trouvé la bonne syntaxe/approche pour que ça soit utilisable sur des projets sérieux).
Je crois beaucoup plus à la programmation réactive fonctionnelle. L'avenir nous dira bien ce qu'il en est.
[1] http://portal.acm.org/citation.cfm?id=1088375
[2] http://www.erlang.org/ml-archive/erlang-questions/200310/msg(...)
[3] http://erlang.org/pipermail/erlang-questions/2003-November/0(...)
[4] http://en.wikipedia.org/wiki/Agner_Krarup_Erlang
[5] http://en.wikipedia.org/wiki/Pi-calculus#Applications
[^] # Re: Tu devrais savoir ça
Posté par MrLapinot (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 2.
[^] # Re: Tu devrais savoir ça
Posté par MrLapinot (site web personnel) . En réponse au journal Le multicoeur va vraiment devenir problématique. Évalué à 3.
Le succès d'une théorie se mesure à ses applications, c'est-à-dire au fait qu'elle puisse fournir des résultats (théoriques ou pratiques) dans un domaine autre que celui qu'elle définit par elle-même. La théorie de la relativité est un succès, car elle permet de prédir le phénomène astronomique des étoiles cachées qui apparaissent pendant une éclipse : résultat externe, qui n'a pas besoin de la théorie d'Einstein pour être compris, utilisé, observé (même si on ne sait pas l'expliquer autrement). Le pi-calcul, de ce point de vue, c'est un échec.
<troll />
[^] # Re: +1
Posté par MrLapinot (site web personnel) . En réponse au journal Tout démarre par une information .... Évalué à 2.
[^] # Re: Ca c'est bien généreux de la part HP!!!
Posté par MrLapinot (site web personnel) . En réponse à la dépêche HP sort une distribution Linux pour netbook. Évalué à 2.
[^] # Re: Ca c'est bien généreux de la part HP!!!
Posté par MrLapinot (site web personnel) . En réponse à la dépêche HP sort une distribution Linux pour netbook. Évalué à 0.
[^] # Re: Ajout
Posté par MrLapinot (site web personnel) . En réponse au journal Phantom OS: l'OS qui ne s'éteint jamais. Évalué à 8.
Q: Is Phantom a POSIX-compliant system?
A: No. It is possible to layer POSIX subsystem above the Phantom native environment, but it is not an idea per se.
Q: OS is based on VM – does it mean that not all the possible programming languages will be supported?
A: Yes. Say goodbye to C and Assembler. On the other side, everything is in Java or C# now, or even in some even more dynamic language, such as Javascript or even PHP. All these languages will be supported.
Donc on résume : ce n'est pas POSIX, il n'y a pas de support du C ou de l'assembleur. On fait tout en Java, C# voire PHP et javascript. Vous choisiriez lequel de ces quatre langages pour coder, au hasard, SSH dont il est question plus haut ? Et les compilateurs, il sont écrits en quoi ?
Bon courage...