auve a écrit 310 commentaires

Je crois qu'il y en a eu au moins deux, dont une (possiblement la plus connue) sur logicielslibres.info.

Gniarf, devant sa pauvre grand mère qui lui demande pourquoi Internet ne marche plus sous son Windows antédiluvien :

« mamie, tu sembles parler d'un OS proprio, pour ne pas dire payant, donc mes suggestions, ça sera payant aussi \o/ »

Perhaps the best announced feature of iAds, though, is that it doesn't take you outside of the app you're using to view the ads. Dismiss the ad whenever you want, and you're right back where you left off.

Source : http://arstechnica.com/apple/news/2010/04/apple-announces-mu(...)

Suivre et participer à des discussions, ce qui implique bien sûr que l'intérêt généré est proportionnel à ton attrait original pour le sujet des conversations suivies ; en d'autres termes, c'est sûr que faire parti des 42000 abonnés aux twits de Mariah Carey, Mickael Vendetta ou Fréderic Lefebvre c'est pas l'extase intellectuelle. J'étais moi aussi sceptique au départ, mais force est de constater qu'on peut y apprendre des choses intéressantes.

Plutôt démontrer des propriétés du genre « mon algorithme d'inférence de type termine, découvre les types les plus généraux » et « tout programme bien typé ne fait pas d'erreur mémoire », en fait.

Ben oui, c'est justement une partie des bases du travail de Milner. M'enfin, je devrais pas nourrir le troll.

Amusant, feu Robin Milner dont on a parlé récemment [http://linuxfr.org/~Axioplase/29518.html] n'avait pas de doctorat, et ça ne l'empêchait pas de publier. Tout comme Simon Peyton-Jones d'ailleurs, pour citer des exemples emblématiques dans ma discipline de prédilection.

Le complot des boulistes a déjà fait tellement de victimes... Soutenus par l'intérêt commercial des compagnies de transport, ils nous vendent même des prétendus voyages dans des engins volants, emmenant leurs crédules passagers à la mort par dessus le bord du monde !

C'est le « patrick_g Comedy Club » ici maintenant ?

Tu ne te trompes pas mais ce n'est pas tout à fait la thèse de Church, c'est tout bonnement un théorème, dont la preuve est donnée par le fait qu'on peut écrire une machine de Turing qui interprète le lambda-calcul et un lambda-terme (un programme en lambda-calcul) qui simule une machine de Turing. La thèse de Church c'est le fait qu'on ne trouvera jamais d'« algorithme » (de procédé calculable) non exprimable par ces derniers modèles, et donc qu'on ne trouvera jamais de modèle plus expressif.

Si elles ont la même expressivité théorique, ces modèles ont quand même des usages différents en informatique scientifique : les machines de Turing sont un cadre commode pour parler de théorie de la complexité, parce qu'il est facile de quantifier le fonctionnement « mécanique » du calcul, avec une notion claire d'espace (la fameuse bande) et de temps (les déplacements de la tête de lecture/écriture), tandis que le lambda-calcul est plus abstrait et sert de fondement et de référence à toute la théorie des langages de programmation.

Une bande infinie c'est un peu long, surtout aux extrémités.

Je voudrais pas me faire l'avocat du diab^W^Wde Larry Ellison qui en a probablement déjà suffisamment, mais si Sun a fini par quasiment couler n'est-ce pas justement entre autres parce qu'ils partaient un peu dans tous les sens et sur tous les fronts ? Typiquement, quelqu'un utilise vraiment Darkstar en pratique ? Ou Looking Glass ? Ou JavaFX ? Je pense que les projets suffisamment attirants ont eu le temps de se créer une communauté qui soutiendra leur évolution future.

Une plateforme que je n'utilise pas

Tu n'utilises pas HTML ? Trop fort /o\

Soyons sérieux, c'est une boîte d'informatique Microsoft France ?

[...] qui est aux systèmes concurrents ce que le lambda-calcul est aux systèmes séquentiels,

En même temps le lambda-calcul a une légitimité que le pi-calcul n'a pas, au sens où tout le monde s'accorde à dire qu'il est le socle de base du calcul séquentiel, alors que les gens s'entre-déchirent encore pour savoir quel est le bon formalisme ultime pour la concurrence : s'agit-il de CCS, CSP, d'une des 42 variantes du pi-calcul, des ambiants, d'un formalisme basé sur les automates, des réseaux de Petri, de la logique linéaire différentielle... ?! À titre d'exemple, Milner travaillait dans ses dernières années sur les « bigraphs », qui sont encore un autre formalisme, très graphique cette fois-ci et assez différent de ses essais précédents (CCS et le pi-calcul).

Les grandes idées ont probablement émergé mais il semble que le domaine ne soit pas encore assez mûr pour offrir une vision unifiée et propre de ce qu'est la concurrence. Les papiers « Yet Another Process Calculus » ont encore de beaux jours devant eux à CONCUR et ailleurs.

Non mais ça le sera en temps borné :-o

Coup de tonnerre dans le Landerneau : IBM rachète Rational !

Heu il n'y a pas eu OpenGL 4.0 qui est sorti hier ?

Oui, et elle apporte effectivement (presque) la parité avec DirectX 11. Cela dit c'est agréable de voir que Khronos bouge.

L'informatique est incapable de prévoir si un programme va s'arrêter ou non. Ou s'il va afficher « Hello world! ». Ou s'il va faire foutre le feu à ton disque dur et coucher avec ta femme.

L'informatique n'est donc pas une science.

le théorème d'Arrow (Prix Nobel d'économie - 1972) démontrant l'impossibilité de la démocratie !

C'est un peu abusif comme formulation... Le théorème d'Arrow dit qu'il n'existe pas de procédure de vote permettant de traduire les préférences individuelles des électeurs en préférence collective.

Une référence claire : http://econo.free.fr/index.php?option=com_content&task=v(...)

Que de caricatures et simplifications outrancières... Je n'ai pas le courage de me battre à ce sujet ici, mais quelques remarques en vrac :

Milton Friedman était plus qu'un idéologue : il était aussi un grand scientifique dont les travaux ont fait date. Il avait certes tendance à abuser de l'argument d'autorité et à mélanger idéologie et science, mais on ne peut pas le rejeter en bloc comme simple partisan d'une « idéologie économique » (?!). Notons aussi que si ses idées ont eu une influence assez considérable dans les années 70 et 80, il n'a jamais contrairement à ce qui est parfois raconté soutenu personnellement Pinochet et autres balivernes. Pour une biographie nuancée, voir là : http://econoclaste.org.free.fr/dotclear/index.php/?2006/11/2(...)

Pour Hayek, némésis de Keynes... Euh, ah oui, némesis de Keynes ? « In my opinion it is a grand book...Morally and philosophically I find myself in agreement with virtually the whole of it: and not only in agreement with it, but in deeply moved agreement » -- John Manyard Keynes, à propos de en:The_Road_to_Serfdom. Il faudrait aussi songer à replacer les choses dans leur contexte : Hayek écrivait à une époque où l'URSS ne s'était pas effondré et où le communisme soviétique rayonnait dans toute sa gloire. Hayek a malheureusement engendré de nombreux et médiocres clones aux idéologies ridiculement simplificatrices (citons Friedman fils, Rothbard, ou plus proche de nous Pascal Salin...) et autres libéraux conservateurs virulents.

Pour la banque centrale, tu voulais dire « indépendante du pouvoir politique », non ? Encore un peu de lecture : http://www.optimum-blog.net/post/2005/10/20/149-pourquoi-la-(...)

Enfin et pour en revenir à Naomi Klein... Disons que les idéologues ne sont pas toujours ceux qu'on croit : http://rodrik.typepad.com/dani_rodriks_weblog/2008/12/some-t(...) et http://ipezone.blogspot.com/2007/09/i-dream-of-naomi-globoph(...)

Mais de toute façon, je parle probablement à un mur, la détestation du libéralisme étant la vertu la mieux partagée en France, d'Olivier Besancenot à Alain Soral et tout ce que la sphère intellectuelle décrépite compte comme fonds de cuvettes marxistes. Enfin, j'attends qu'on me dise que l'économie n'est pas une science dans 3... 2... 1...

Bof, quand tu vois en:Douglas_Engelbart, en:Butler_W._Lampson ou en:Ivan_Sutherland, je ne crois pas que ce soit une première. L'informatique est une vaste discipline et là on est tout de même bien loin de l'art appliqué :-)

C'est beau ce que tu dis là ; moi par exemple, j'avais l'idée d'un correcteur grammatical...

un OS ancestrale!

Alors qu'un OS en C++ ce serait mieux !

Oh, d'après un ami entré aux Arts et Métiers il n'y a pas si longtemps, les banquiers savent parfois se montrer très amicaux...