Il y démonte toutes les vélléités d'application du théorème de Gödel en dehors des mathématiques (et par extension de l'informatique théorique/formelle) qui servent un peu trop souvent à raconter n'importe quoi.
Il y a un tas d'autres excellents articles (scientisme et obscurantisme a été une mini-révélation pour moi) concernant la logique sur sa page :
En même temps ça a toujours été le but de n'en faire qu'un os éducatif.
Hmmm, si tu parles de Minix 1 et 2 ok, mais...
"Please be aware that MINIX 3 is not your grandfather's MINIX ... MINIX 1 was written as an educational tool ... MINIX 3 is that plus a start at building a highly reliable, self-healing, bloat-free operating system ..."¹ Andrew Tannenbaum.
La participation de Microsoft à certain projets communautaires sous BSD n'est pas neuve. Je pense surtout à certaines avancées du compilateur Haskell GHC, qui bénéficient grandement à la communauté du langage.
GHC sert de terrain d'expérimentation pour certaines techniques qui sont ensuite appliquées principalement à C# (HaskellDB devenant ensuite Linq par exemple). Ça arrange tout le monde, je ne vois pas le problème.
Je vais peut-être paraître un brin naïf, mais je ne vois pas ce qui change par rapport à un noyau plus monolithique comme Linux...
Les drivers vivent dans leur propre espace mémoire et les auteurs de ces drivers n'ont plus à demander d'inclusion en mainline.
Pourquoi ?
Déjà, je doute qu'on distribue les "serveurs" un par un, ils seront probablement fournis en un ensemble cohérent, formant un minix/HURD/... "mainline".
Ensuite, les drivers ont bien besoin d'une API pour communiquer avec le reste. Si cette dernière change (comme c'est le cas dans Linux), le problème reste le même, mêmes causes, mêmes effets en l'occurrence : les devs peuvent totallement décider de demander l'inclusion des drivers tiers en mainline. Et il ne serait a priori ni plus ni moins difficile de proposer des drivers extérieurs au projet.
D'ailleurs, Tannenbaum semble partisan d'un système plutôt centralisé, je doute qu'il laisse se balader à droite et à gauche des pilotes importants.
Il me semble que dans le cadre du système international, c'est bien le kilogramme l'unité.
D'ailleurs l'étalon existant (la seule unité à encore en utiliser un si je ne m'abuse) définit bien le kg et non pas le gramme.
À vrai dire c'était une référence (ou un pointeur) un peu obscure vers http://linuxfr.org/comments/792035.html#792035 en jouant sur une analogie (partielle, j'en conviens) entre l'iPhone et le N{770,800}.
[^] # Re: Quelles sont les impactes des version utilisées de gcc et Xorg ?
Posté par mouftard . En réponse à la dépêche Sortie de FreeBSD 6.2. Évalué à 2.
[^] # Re: A essayer absolument
Posté par mouftard . En réponse à la dépêche Acceleo 1.2. Évalué à 3.
( http://www-gmm.insa-toulouse.fr/~gaudron/businessloto.jpg )
[^] # Re: Codé en Brainfuck [0]…
Posté par mouftard . En réponse au journal [Blogs] Maitre Eolas vs José Bové, deuxième épisode. Évalué à 3.
http://iml.univ-mrs.fr/~girard/godel.pdf.gz
Il y démonte toutes les vélléités d'application du théorème de Gödel en dehors des mathématiques (et par extension de l'informatique théorique/formelle) qui servent un peu trop souvent à raconter n'importe quoi.
Il y a un tas d'autres excellents articles (scientisme et obscurantisme a été une mini-révélation pour moi) concernant la logique sur sa page :
http://iml.univ-mrs.fr/~girard/Articles.html
Attention, le monsieur ne mâche pas ses motsidées.
[0] : inventeur/découvreur notamment du lambda-calcul de second ordre, Système F. http://iml.univ-mrs.fr/~girard/
[^] # Re: Le monde a-t-il besoin d'un nouveau langage de programmation ?
Posté par mouftard . En réponse au journal Le langage L. Évalué à 3.
Il existe une syntaxe révisée, malheureusement méconnue.
As-tu essayé ?
http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html
[^] # Re: Comme XP^WPerl6 ?
Posté par mouftard . En réponse au journal Le langage L. Évalué à 2.
[^] # Re: haha ?
Posté par mouftard . En réponse au journal Tanenbaum et les microkernels. Évalué à 4.
Hmmm, si tu parles de Minix 1 et 2 ok, mais...
"Please be aware that MINIX 3 is not your grandfather's MINIX ... MINIX 1 was written as an educational tool ... MINIX 3 is that plus a start at building a highly reliable, self-healing, bloat-free operating system ..."¹ Andrew Tannenbaum.
¹ : http://www.cs.vu.nl/~ast/reliable-os/
[^] # Re: 'dredi
Posté par mouftard . En réponse à la dépêche Première implémentation du langage Fortress. Évalué à 4.
[^] # Re: stabilité + sécurité + libre
Posté par mouftard . En réponse au journal Convertissez vos copines. Évalué à 6.
[^] # Re: stabilité + sécurité + libre
Posté par mouftard . En réponse au journal Convertissez vos copines. Évalué à 4.
"Ce que je promeus" ?
[^] # Re: Mauvaise langue
Posté par mouftard . En réponse à la dépêche Inauguration du labo commun INRIA-Microsoft. Évalué à 4.
Ainsi qu'Ian Lynagh, il me semble.
[^] # Re: Mauvaise langue
Posté par mouftard . En réponse à la dépêche Inauguration du labo commun INRIA-Microsoft. Évalué à 9.
GHC sert de terrain d'expérimentation pour certaines techniques qui sont ensuite appliquées principalement à C# (HaskellDB devenant ensuite Linq par exemple). Ça arrange tout le monde, je ne vois pas le problème.
[^] # Re: Argument fallacieux, sophisme et cie...
Posté par mouftard . En réponse au journal Tanenbaum et les microkernels. Évalué à 3.
Pourquoi ?
Déjà, je doute qu'on distribue les "serveurs" un par un, ils seront probablement fournis en un ensemble cohérent, formant un minix/HURD/... "mainline".
Ensuite, les drivers ont bien besoin d'une API pour communiquer avec le reste. Si cette dernière change (comme c'est le cas dans Linux), le problème reste le même, mêmes causes, mêmes effets en l'occurrence : les devs peuvent totallement décider de demander l'inclusion des drivers tiers en mainline. Et il ne serait a priori ni plus ni moins difficile de proposer des drivers extérieurs au projet.
D'ailleurs, Tannenbaum semble partisan d'un système plutôt centralisé, je doute qu'il laisse se balader à droite et à gauche des pilotes importants.
[^] # Re: C'est le blog de Thierry Stoer ?
Posté par mouftard . En réponse au journal Les standards et l'interopérabilité dans l'exploration spatiale. Évalué à 9.
D'ailleurs l'étalon existant (la seule unité à encore en utiliser un si je ne m'abuse) définit bien le kg et non pas le gramme.
[^] # Re: Coming soon...
Posté par mouftard . En réponse au journal Les standards et l'interopérabilité dans l'exploration spatiale. Évalué à 6.
Mais non, Intel aura sorti des 80 cores qui accélèrent l'Internet utilisés avec les drivers correct pour GNU/Hurd d'ici là \o/
[^] # Re: Tu rêves !!
Posté par mouftard . En réponse au journal Microsoft, mort dans 3 ans ?. Évalué à 2.
Mieux vaut une tête bien faite qu'une tête bien pleine ;-)
# Aïe
Posté par mouftard . En réponse au journal Mon dieu, un logiciel gratuit!. Évalué à 10.
J'en connais pas la moitié, je dois me faire vieux.
[^] # Re: Linksys ?
Posté par mouftard . En réponse au journal Apple lance l'iPhone. Évalué à 1.
Louche.
[^] # Re: ...
Posté par mouftard . En réponse au journal Le Nokia N800 est sorti!. Évalué à 4.
[^] # Re: ...
Posté par mouftard . En réponse au journal Le Nokia N800 est sorti!. Évalué à -9.
# fear
Posté par mouftard . En réponse au message proposition d'emploi pour le salon "solution linux". Évalué à 6.