Michaël a écrit 2935 commentaires

Ta blague a été moinssée parce qu'elle excluait le genre féminin et les transgenres.

Le féminin, les transgenres et les bouffeurs de quiche..

… Dijkstra …
J'arrive même pas à le prononcer O.o
5 consonnes à la suite nan mais salaud quoi ça devrait être interdit :o

En hollandais, le ij est une diphtongue qui se prononce e-i une transcription approximative en français serait

Deille'xtra

mais la diphtongue ij est plus courte que notre eille. Du coup on ne peut pas vraiment dire qu'il y a cinq consonnes à la suite, le ij étant une lettre à part entière qui est plutôt voyelle que consonne! :)

http://de.wikipedia.org/wiki/Datei:Dijkstra.ogg

Je n’oppose pas les milliers de symboles mathématiques à la prose de monsieur Jourdain, mais bien à un langage avec une grammaire et un alphabet restreint. Comme on le fait si bien avec les langages de programmation.

La grammaire d'un langage informatique et celle d'un langage vivant (qu'il soit spécialisé ou non) sont deux choses complètement différentes.

La grammaire d'un langage informatique définit les phrases du langage, au contraire pour les langues naturelles, la grammaire énonce des règles en se basant sur l'observation des phrases existantes.

Qu'est-ce qui ne va pas avec le langage mathématique actuel et qui serait résolu par ta réforme?

mais non, les matheux cherchent un symbole pour chaque concept

C'est assez faux! Tu as des exemples?

Faut-il aussi compter les différentes variations d’un même caractère pour désigner des variables ou des ensembles ?

C'est une assez bonne question et je pense que le comité Unicode a passé plus de temps à se la poser que moi-même. En principe, les variations d'un caractère ont une sémantique (typiquement, on utilise en mécanique des caractères gras pour les vecteurs, et en théorie de Lie des caractères Fraktur pour les algèbres, des lettres scriptes ou bien des mots en sans-serif pour les foncteurs): il ne s'agit pas d'un simple style appliqué sur le caractère, qui aurait un caractère optionnel.

Si je devais écrire une application MATHML ou un autre système du même type, je devrais faire attention à ce que mon protocole distingue le style en gras de la sémantique lettre en gras. Le choix du comité Unicode me permet de faire cela simplement, en utilisant un caractère Unicode pour représenter la lettre en gras.

C’est étonnamment dans un des arts les plus pointus et les plus abstraits que l’homme utilise un système d’écriture le plus primaire,

Vu la diversité des concepts mathématiques, écrire en n'utilisant que 26 lettres reviendrait à écrire le français normal en binaire: ce n'est pas adapté.

incapable d’abstraire l’élément exprimé d’un unique symbole exprimant.

Le contenu de cette remarque est complètement absurde et sa forme pompeuse la rend grotesque.

Avec un poinçon.

la valeur des choses n'est pas la même pour tout le monde, c'est justement la base du commerce.

C'est correct, mais l'attribution d'une valeur, outre une composante subjective que tu mentionnes, dépend de la compréhension du monde qu'on peut avoir. Par exemple, sur le marché des produits dérivés, la compréhension du monde qu'on a peut valoir plusieurs millions d'euros. Et il y a effectivement des cas où on est exactement dans la situation que je cite, c'est d'ailleurs certainement pour ça que les professionnels ont une obligation d'informer lorsqu'ils négocient avec des profanes.

Les applications sur le cloud, c'est confier les clés de tes données et de leurs manipulations sans assurance de pouvoir les récupérer un jour,

En gros le cloud c'est donc des gens qui ont compris ce qui avait de la valeur qui baisent des gens qui n'ont pas compris ce qui avait de la valeur.

En sus de ce commentaire d'une finesse inégalable, je t'adresse mes compliments pour ton texte!

Cette dernière démarche est couronnée de succès. ♔

Oui, J-ai-tout-bien-fait-comme-il-faut™ mais pourtant cela ne fonctionne pas.

Mon sentiment est que les scripts d'installation se plantent silencieusement. J'ai du corriger plusieurs erreurs à la main, mais comme en règle générale on ne repère que la dernière erreur de la file, il y a probablement des erreurs cachées (silencieuses) qui précèdent ma réparation.

J'essaie actuellement d'installer sur Debian Squeeze i386 en utilisant les paquets de https://oss.oracle.com/debian, on verra ce que ça donne!

Enculons les mouches pour un vague prétexte:

Linux n'est pas un OS n'ont plus

non plus!

[…] la vision mégalomaniaque des Mozilliens qui pensent que tout doit désormais passer par un navigateur Web […]

Ce n'est pas la vision des Mozilliens, mais une tendance assez lourde à coder des applications dans un navigateur en déplaçant beaucoup de traitements depuis le serveur dans le navigateur grâce à Javascript.

Il y a de véritables applications (GoogleDocs, ou le Mardkown Online Editor, par exemple) et plein de cas tangents, comme StackOverflow ou faceBook, certains dictionnaires en ligne…

D'ailleurs, certaines applications traditionnelles utilisent les applications WWW en backend.

Pour faire court, la frontière entre site dynamique et application qui était très claire dans les années 90 est aujourd'hui assez ténue.

Et ce n'est pas seulement dans la tête des Mozilliens.

C'est quoi ton niveau en anglais? J'avais déja regardé quelques comiques US, mais j'avais quand même du mal.

Si le show est construit essentiellement autour d'un protagoniste, c'est le cas de figure le plus favorable: en t'accrochant un peu tu t'habitueras à sa prononciation et arrivera rapidement à comprendre presque tout ce qu'il dit.

Et comme je suis, en plus, assez réfractaire à l'humour des comiques[…]

Là, ça me paraît plus embêtant, pourquoi ne pas chercher quelque chose qui soit a priori dans tes goûts?

Le programme Unison serait bien plus adapté que rsync dans ce cas. rsync est plutôt conçu pour répliquer une arborescence mais pas pour fonctionner dans les deux sens.

Par exemple, si un fichier est modifié dans deux profils, les heuristiques de synchronisation simplettes de type «prendre le fichier les plus récent» mènent à des pertes de données mais Unison détecte un conflit et demande l'assistance de l'utilisateur pour gérer ce cas difficile — ce qui est la seule méthode possible pour résoudre le conflit.

J'ai beaucoup utilisé Unison il y a deux ans sur quatre machines (laptop sous OS-X, maison sous FreeBSD, labo bureau sous Solaris et labo centre de calcul sous Linux) et j'étais très content. J'ai cependant arrêter de l'utiliser parceque j'emploie systématiquement des RCS pour gérer mes fichiers (ce qui n'était pas possible dans le cas des 4 machines).

Cela permet donc d'introduire une fonction c'est ça?

Traducation OCaml fun nom -> "Salut " ^ nom.

Traduction LISP (lambda (nom) (concat "Salut " nom)).

Merci pour ces explications, très claires.

En anglais j'aime bien le texte suivant comme introduction aux monades:

http://blog.enfranchisedmind.com/2007/08/a-monad-tutorial-for-ocaml/

C'est très court et on comprend assez bien diverses applications de ce design pattern ou plutôt de ce patron applicatif.

Question: que signifie cette notation \nom ?

Une critique récurrente de Haskell — surtout en comparaison à OCaml — est le manque d'applications industrielles effectives.

Pour OCaml, celles-ci sont anciennes (Microsoft, Dassault, Intel) toujours plus nombreuses mais quid de Haskell? Haskell est utilisé en interne par le crédit suisse (en tout cas ils recrutent des programmeurs haskell) pour faire du pricing et du risk management. Mais y-a-t-il un catalogue plus étoffé d'utilisateurs industriels?

Mes amis haskelleurs disent qu'un gros défaut du langage est la difficulté à optimiser et profiler le programme. (Si je comprends bien, comme l'évaluation n'est pas stricte, il n'y aurait pas de correspondance claire entre le code source du programme et le flot des traitements effectués par le programme.) Existe-t-il des méthodes efficaces pour cela? En regard de Haskell, OCaml est très simple et on suit très facilement son code source original en lisant le code assembleur généré.

Je trouve cela plutôt curieux de citer Scala plutôt que OCaml pour illustrer le filtrage par exemple.

Du coup j'ai essayé en template C++ pour le faire compiler par le compilateur. C'est efficace

Oui mais ça n'a rien à voir avec l'évaluation de la fonction pendant l'éxécution du programme.

Tu peux aussi directement écrire la valeur à la main, ou utiliser un tableau avec les premières valeurs.

Je suis sûr que ce n'est pas très dur de trouver des gens qui trouvent que sapusaypalibre et j'ai choisi de leur donner d'emblée la possibilité d'être constructifs. :-)

C'est aussi un serveur ;)

Merci, ce que j'ai pu lire m'a donné l'impression que trac ne fait pas partie de l'offre de service.

Ne pas aimer LaTeX, je peux comprendre, mais en ignorer son existence, cela me parait invraisemblable.

Évidemment, après avoir commencé je n'ai pas mis longtemps à découvrir LaTeX — effectivement avec teTeX. Mais essentiellement pour le plaisir de programmer TeX et parceque je n'aimais pas trop l'approche de LaTeX, j'ai continué.

Oui effectivement… merci d'avoir rectifié cet oubli! :-)

C'est parceque j'utilise NOWEB, un outil de programmation lettrée, et que les macros de support existent seulement avec laTeX et plain TeX. Un jour peut-être j'écrirais des macros pour Bhrìd TeX!

Merci pour ta suggestion, mais tu me proposes un logiciel alors que ce qui me manque c'est un serveur!

Quel est le rapport avec la responabilité humaine?

Ensuite, tu dis beaucoup de choses plutôt pas très vraies.

Bien-sûr, les ordinateurs calculent beaucoup mieux que les être humains, mais une phrase comme

Il faut simplement admettre que l'Homme est incapable de
traiter une quantite importante de parametres rationnellement.

est fausse. Introduire de nouvelles abstractions dans un langage permet de réduire le nombre de paramètres explicites dans un problème pour en faire un objet que l'Homem comprend.

Arretons une bonne fois pour toute de justifier des decisions
politiques avec des etudes poudre aux yeux. Un jour ou l'autre
un modele apparaitra pour balayer tout ca.

Tu as une expérience dans la modélisation? Les modèles sont aveugles et ne reflètent que le monde tel que le voit leur concepteur. Des fois le concepteur s'est trompé, des fois le monde change, c'est l'histoire des Sciences.

Quand on prend une décision, avec ou sans l'aide d'un ordinateur, les être humains sont responsables.